maxs d0, [123456]
        maxs d1, [4,x]
        maxs d2, d2
        maxs d3, [d0, y]
        maxs d4, [12,s]
        maxs d5, (3,s)
        maxs d6, (-123,s)
        maxs d7, (123987, p)
        mins d0, (x-)
        mins d1, (y-)
        mins d2, (x+)
        mins d3, (y+)
        mins d4, (s+)
        mins d5, (+x)
        mins d6, (+y)
        mins d7, (-x)
        maxu d0, (-y)
        maxu d1, (-s)
        maxu d2, (d5, x)
        maxu d3, (d6, y)
        maxu d4, (d7, s)
        maxu d5, (-1023,s)
        maxu d6, [1087, p]
        maxu d7, (-y)
        minu d0, (-x)
        minu d1, (s+)
        minu d2, (d1, x)
        minu d3, (d2, y)
        minu d4, (d3, s)
        minu d5, (-123,s)
        minu d6, [123987, p]
        minu d7, (y-)