prag($asm_p2,3, index). prag($asm_p4,3, index).