Update sicxe_asm.h