let
globinits : stmt list ref = ref []