This is useful for implicit $Globals buffer when writing effects binaries. It should not be written out if there is no global variables, but when there are some, it should appear first in order.
What if there are global variables, but they're unused? I.e. should this just be checking "used_size"?
If the answer is no, I think this is still redundant with "size".