#!/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().split('\n')[0].strip()

pathlib.Path(ofilename).write_text(ftempl % d)