secd I/O: printf to secd_pprintf(secd, port, ...)
`(secd 'dump)` now dumps the full machine state