Tue, 24 Apr 2012 16:49:43 +0200Fix code generation about __INIT_GLOBAL_LOCATED.
Conti Manuele <manuele.conti@alice.it> [Tue, 24 Apr 2012 16:49:43 +0200] rev 537
Fix code generation about __INIT_GLOBAL_LOCATED.