cthwalloc_verify_log(
[[begin cthwalloc-write-proc-good2
alloc widgets 3 8
dealloc widgets 3 8
end cthwalloc-write-proc-good2
]])