add while to 011-operators