bits 64

    int     0x80