t27c gen on clock_domain.t27 -- the CDC model as Zig
t27c gen prints the clock-domain model it compiled, and wc -l says how many lines of Zig it is.
recorded 2026-10-07 17:36 UTCreal 7.9 sshown 7.9 sexit codes 0 0
$ t27c gen specs/fpga/clock_domain.t27 | sed -n '1,28p'
$ t27c gen specs/fpga/clock_domain.t27 | wc -l
Staged: the prompt and the typing. Real: every byte the commands printed, at the time they printed it. Any silence longer than 2 s is shown for 2 s, and the title bar says so while it happens. Edited: home directory shown as ~.