contract c {
    uint constant a1 = 0;
    uint constant a2 = 1;
    uint constant b1 = mulmod(3, 4, 0);
    uint constant b2 = mulmod(3, 4, a1);
    uint constant b3 = mulmod(3, 4, a2 - 1);
}
// ----
// TypeError 4195: (88-103='mulmod(3, 4, 0)'): Arithmetic modulo zero.
// TypeError 4195: (128-144='mulmod(3, 4, a1)'): Arithmetic modulo zero.
// TypeError 4195: (169-189='mulmod(3, 4, a2 - 1)'): Arithmetic modulo zero.