from datetime import datetime
def make_header() -> str:
output = list()
output.append(f"//! This file is automatically generated.")
output.append(f"//!")
output.append(f"""//! Date: {datetime.now().isoformat(timespec="seconds")}""")
return "\n".join(output)