Constant INT_DIV_EUCLID 

pub const INT_DIV_EUCLID: u8 = 0x94;

Pop b, pop a, push a.div_euclid(b) (Int). Caller guarantees b ∉ {0, -1} (the const-fold divisor check), so no trap / overflow is possible.