(do (write33 "hello" 2) 1)