trying to use gmp in ptx_assembly_test