| #!/usr/bin/env python3 | |
| import sys | |
| import pathlib | |
| [ifilename, ofilename] = sys.argv[1:3] | |
| ftempl = '''int %s(void) { | |
| return @NUMBER@; | |
| } | |
| ''' | |
| d = pathlib.Path(ifilename).read_text(encoding='utf-8').split('\n')[0].strip() | |
| pathlib.Path(ofilename).write_text(ftempl % d, encoding='utf-8') |