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