Hackishly extracts defs from top level.
Test tweak.