let globinits : stmt list ref = ref []