add theorem about location of i/o ptrs in the globals