void __gnat_install_handler (void) { __gnat_install_handler_common (0x18, 0x12); }
void __gnat_install_handler (void) { __gnat_install_handler_common (0x1d, 0x15); }