codegen: preliminary work on dotimes; fails to verify