def generate_headers(sdfg) ->str:
    """ Generate a header file for the SDFG """
    proto = ''
    proto += 'int __dace_init(' + sdfg.signature(with_types=True, for_call=
        False) + ');\n'
    proto += 'int __dace_exit(' + sdfg.signature(with_types=True, for_call=
        False) + ');\n'
    proto += 'void __program_' + sdfg.name + '(' + sdfg.signature(with_types
        =True, for_call=False) + ');\n\n'
    return proto
