pag.getTypeManager().makeTypeMask();
Date endTM = new Date();
reportTime( "Type masks", startTM, endTM );
if( opts.force_gc() ) doGC();
if( opts.verbose() ) {
G.v().out.println( "VarNodes: "+pag.getVarNodeNumberer().size() );
G.v().out.println( "FieldRefNodes: "+pag.getFieldRefNodeNumberer().size() );
G.v().out.println( "AllocNodes: "+pag.getAllocNodeNumberer().size() );
}