Hello, tests/tbf/tb0002.pp is intended to fail, but currently it fails because the VMT symbol (VMT_$P$PROGRAM_$$_TA) is unresolved while linking. Shouldn't compiler detect usage of typeof() on an object type without VMT and report error at compile stage instead? Sergei