intarray[4] x;
def int main(){ x=12+%(3,4,5)%; printarray(x); return 2;}