call ( ... body -- ... ) executes a callable
if ( ... condition body0 body1 -- ... ) executes either of two callables, depending on a condition
loop ( ... body -- ... ) executes a callable repeatedly while it returns TRUE