ctresalloc_verify_log(
[[begin ctresalloc-write-proc-good2
alloc widgets 3 8
dealloc widgets 3 8
end ctresalloc-write-proc-good2
]])