if condition { body }
branch if condition is false to end body end: first instruction past if
if condition { then-body } else { else-body }
branch if condition is true to then else body branch to end then: then body end: first instruction past if
while condition { body }
top: branch if condition is false to endwhile body jump to top endwhile: