int 0x80: may be caused by DPL