use put_arguments_n* functions to write integers to the abc file instead of...

use put_arguments_n* functions to write integers to the abc file instead of FPrintF %d in instructions.c in the backend