For back-end code generator