# -*- mode: snippet -*-
# key: d
# --

$display("@%0d: $1", $time);$0
