final String output_dir = SourceLocator.v().getOutputDir();
// Build pointer assignment graph
ContextInsensitiveBuilder b = new ContextInsensitiveBuilder();
if( opts.pre_jimplify() ) b.preJimplify();
if( opts.force_gc() ) doGC();
Date startBuild = new Date();
final PAG pag = b.setup( opts );
b.build();
Date endBuild = new Date();
reportTime( "Pointer Assignment Graph", startBuild, endBuild );