Finished codegen for A4-1.488