Initial checkin of a simple mod/ref analysis for global variables. This is