codegen: implement a buggy codegen_sexpr