implement new-loop syntax #4