[ 1 2 ] > [ ((rec{x=1;}).x) 2]