def print_header(self, hdr_file):
    hdr_file.write('extern pin_obj_t pin_{:4s};\n'.format(self.name))
def print_header(self, hdr_file):
    hdr_file.write('extern pin_obj_t pin_{:4s};\n'.format(self.name))