def print_header(self, hdr_filename):
    with open(hdr_filename, 'wt') as hdr_file:
        for pin in self.pins:
            pin.print_header(hdr_file)
def print_header(self, hdr_filename):
    with open(hdr_filename, 'wt') as hdr_file:
        for pin in self.pins:
            pin.print_header(hdr_file)