There are to versions of verify_clear. The former is used solely by the latter. Inline the former to reduce public API surface.
  
  void verify_clear(const PSVirtualSpace* vspace);
  void verify_clear();