nit: could you move this to below `self.write_line("#![allow(non_camel_case_types)]");`?