Formatting xtf instructions