Fix test_ins

Fix output format of test_ins and fix the number of parameters passed
to printf