print(RECORD, $val);

##</code><code>##

print(RECORD $val);