#0  0x4000750a in open_path (name=0x40aabcbb "librt.so.1", namelen=11, 
    preloaded=0, sps=0x8069db8, realname=0xbfffd77c, fbp=0xbfffd780)
    at dl-load.c:1384
#1  0x40007fb8 in _dl_map_object (loader=0x8070248, 
    name=0x40aabcbb "librt.so.1", preloaded=0, type=2, trace_mode=0, mode=0)
    at dl-load.c:1592
#2  0x4000d29c in openaux (a=0xbfffe1a0) at dl-deps.c:68
#3  0x4000d7c3 in _dl_catch_error (objname=0xbfffe198, errstring=0xbfffe19c, 
    operate=0x4000d260 <openaux>, args=0xbfffe1a0) at dl-error.c:152
#4  0x4000c638 in _dl_map_object_deps () at dl-deps.c:283
#5  0x405daa71 in dl_open_worker (a=0xbfffe370) at dl-open.c:252
#6  0x4000d7c3 in _dl_catch_error (objname=0xbfffe368, errstring=0xbfffe36c, 
    operate=0x405da8a0 <dl_open_worker>, args=0xbfffe370) at dl-error.c:152
#7  0x405daebe in _dl_open (
    file=0x806e678 "/opt/gnome-2.2/lib/gtk-2.0/2.2.0/engines/libcrux-engine.so",
 mode=-2147483390, caller=0x404440ca) at dl-open.c:407
#8  0x40448375 in dlopen_doit (a=0xbfffe4e0) at dlopen.c:39
#9  0x4000d7c3 in _dl_catch_error (objname=0x4044a1c4, errstring=0x4044a1c8, 
    operate=0x40448340 <dlopen_doit>, args=0xbfffe4e0) at dl-error.c:152
#10 0x404486fb in _dlerror_run (operate=0x40448340 <dlopen_doit>, 
    args=0xbfffe4e0) at dlerror.c:130
#11 0x40448326 in __dlopen_check (
    file=0x806e678 "/opt/gnome-2.2/lib/gtk-2.0/2.2.0/engines/libcrux-engine.so",
 mode=258) at dlopen.c:53
#12 0x404440ca in _g_module_open (
    file_name=0x806e678 "/opt/gnome-2.2/lib/gtk-2.0/2.2.0/engines/libcrux-engine
.so", bind_lazy=0) at gmodule-dl.c:97
#13 0x40444953 in g_module_open (
    file_name=0x8080778 "/opt/gnome-2.2/lib/gtk-2.0/2.2.0/engines/libcrux-engine
.so", flags=0) at gmodule.c:387
#14 0x401b6eb5 in gtk_theme_engine_load (module=0x805d8a8) at gtkthemes.c:78
#15 0x404319bb in g_type_module_use (module=0x805d8a8) at gtypemodule.c:206
#16 0x401b7180 in gtk_theme_engine_get (name=0x80803a0 "crux-engine")
    at gtkthemes.c:179
#17 0x40141b4e in gtk_rc_parse_engine (context=0x8069040, scanner=0x806c680, 
    rc_style=0xbfffe68c) at gtkrc.c:3162
#18 0x40140bde in gtk_rc_parse_style (context=0x8069040, scanner=0x806c680)
    at gtkrc.c:2658
#19 0x4014026a in gtk_rc_parse_statement (context=0x8069040, scanner=0x806c680)
    at gtkrc.c:2402
#20 0x4013f1c6 in gtk_rc_parse_any (context=0x8069040, 
    input_name=0x8071098 "/opt/gnome-2.2/share/themes/Crux/gtk-2.0/gtkrc", 
    input_fd=7, input_string=0x0) at gtkrc.c:1916
#21 0x4013cbfd in gtk_rc_context_parse_one_file (context=0x8069040, 
    filename=0x8071098 "/opt/gnome-2.2/share/themes/Crux/gtk-2.0/gtkrc", 
    priority=10, reload=0) at gtkrc.c:801
#22 0x4013ce09 in gtk_rc_context_parse_file (context=0x8069040, 
    filename=0x8071098 "/opt/gnome-2.2/share/themes/Crux/gtk-2.0/gtkrc", 
    priority=10, reload=0) at gtkrc.c:873
#23 0x4013c7aa in gtk_rc_parse_named (context=0x8069040, 
    name=0x806c250 "Crux", type=0x0) at gtkrc.c:634
#24 0x4013e4dc in gtk_rc_reparse_all_for_settings (settings=0x8068dd8, 
    force_load=1) at gtkrc.c:1503
#25 0x4013c4c5 in gtk_rc_settings_changed (settings=0x8068dd8, 
    pspec=0x805e7c0, context=0x8069040) at gtkrc.c:530
#26 0x40428ba4 in g_cclosure_marshal_VOID__PARAM (closure=0x80692b0, 
    return_value=0x0, n_param_values=2, param_values=0xbfffec80, 
    invocation_hint=0xbfffeb08, marshal_data=0x0) at gmarshal.c:531
#27 0x40413258 in g_closure_invoke (closure=0x80692b0, return_value=0x0, 
    n_param_values=2, param_values=0xbfffec80, invocation_hint=0xbfffeb08)
    at gclosure.c:437
#28 0x404277f6 in signal_emit_unlocked_R (node=0x8058e88, detail=249, 
    instance=0x8068dd8, emission_return=0x0, instance_and_params=0xbfffec80)
    at gsignal.c:2822
#29 0x40426a91 in g_signal_emit_valist (instance=0x8068dd8, signal_id=1, 
    detail=249, var_args=0xbfffee10) at gsignal.c:2554
#30 0x40426e26 in g_signal_emit (instance=0x8068dd8, signal_id=1, detail=249)
    at gsignal.c:2612
#31 0x40415a17 in g_object_dispatch_properties_changed (object=0x8068dd8, 
    n_pspecs=1, pspecs=0xbfffee70) at gobject.c:464
#32 0x40414fd4 in g_object_notify_dispatcher (object=0x8068dd8, n_pspecs=1, 
    pspecs=0xbfffee70) at gobject.c:228
#33 0x4041a362 in g_object_notify_queue_thaw (object=0x8068dd8, 
    nqueue=0x805a208) at gobjectnotifyqueue.c:123
#34 0x40415dbc in g_object_notify (object=0x8068dd8, 
    property_name=0x805d980 "gtk-theme-name") at gobject.c:530
#35 0x4014eff5 in _gtk_settings_handle_event (event=0x807cddc)
    at gtksettings.c:1021
#36 0x400ff87f in gtk_main_do_event (event=0x807cddc) at gtkmain.c:1358
#37 0x402f5505 in gdk_event_dispatch (source=0x805d528, callback=0, 
    user_data=0x0) at gdkevents-x11.c:2005
#38 0x40471b65 in g_main_dispatch (context=0x805da60) at gmain.c:1720
#39 0x40472ce7 in g_main_context_dispatch (context=0x805da60) at gmain.c:2268
#40 0x40473174 in g_main_context_iterate (context=0x805da60, block=1, 
    dispatch=1, self=0x806be00) at gmain.c:2349
#41 0x40473a45 in g_main_loop_run (loop=0x807cc70) at gmain.c:2569
#42 0x400ff025 in gtk_main () at gtkmain.c:1093
#43 0x080496ed in main (argc=3, argv=0xbffff194) at getstyle-gnome.c:306
#44 0x404dd657 in __libc_start_main (main=0x8049518 <main>, argc=3, 
    ubp_av=0xbffff194, init=0x8048d6c <_init>, fini=0x8049770 <_fini>, 
    rtld_fini=0x4000dcd4 <_dl_fini>, stack_end=0xbffff18c)
    at ../sysdeps/generic/libc-start.c:129