[carlosdp]

Yea, that's how it works at CMU too. Usually, we just made sure to set a breakpoint there.