print(RECORD, $val);