builtin 'while'