working on using ctypesgen