let
attach_globinit init =
assert
(!attach_detach_mode);
globinits := init :: !globinits