[combination = progn] void aprogn();
[combination = sum] int asum();
[combination = and] int aand();
[combination = max] int amax();
[combination = progn] void aprogn();
[combination = sum] int asum();
[combination = and] int aand();
[combination = max] int amax();