Bootstrap: codegen if