def int64_output(func, argtypes):
 func.argtypes = argtypes
 func.restype = c_int64
 return func

def int64_output ( func , argtypes ) : func . argtypes = argtypes func . restype = c_int64 return func
generates a ctypes function that returns a 64-bit integer value .