A priliminary implementation of code generation for partally promoted