Made call to print_int work (we get WORKING binaries for the first Simons)