Set as instr to use printf intsead of echo