x: MODULE
NEWMODE a_set = SET (a, b, c, d);
NEWMODE a_ps = POWERSET a_set;
GRANT a_ps;
END;