I'm pretty sure you cannot implement conditional branches using unconditional branches as a building block. Unless you count indirect branches, which goto usually doesn't support.
Scarily enough, I think this used to actually be somewhat common place and is why many functions were not reentrant.