Start codegen; Passes all existing tests for now