import ctypes
from ctypes import c_int64

my_lib = ctypes.CDLL('./callee.so')

my_lib.sumprimes.argtypes = [ctypes.c_int64]
my_lib.sumprimes.restype = ctypes.c_int64
x = input("input x:")
result = my_lib.sumprimes(int(x))
print(result)