formatting xtf instructions