use formal asm format of i0