__attribute__ ((constructor(98))) void __VLTunprotect (void) { __VLTChangePermission (__VLTP_READ_WRITE); }
void __VLTUnprotectPreinit (void) { __VLTChangePermission (__VLTP_READ_WRITE); }
void __VLTProtectPreinit (void) { __VLTChangePermission (__VLTP_READ_ONLY); }
__attribute__ ((constructor(100))) void __VLTprotect (void) { __VLTChangePermission (__VLTP_READ_ONLY); }