let mk glob = if glob then (true,Globelse (trueLoc)