let globals : global list ref = ref []