intarray[3] x; 
def int main(){  x=%(1,2,3)%; printarray(x); return 2;}