So this is basically the same as the // but only for DIV32?