
# prints $$ to standard output
define v
set printval(cmd_stdout_file(), $), stream_putc(cmd_stdout_file(), '\n')
end

