print(RECORD $val);