while_machine
