Buggy code:
public static final byte [ ] mnemonic_activate = OS . ascii ( "mnemonic_activate" ) ; public static final byte [ ] motion_notify_event = OS . ascii ( "motion_notify_event" ) ; public static final byte [ ] move_focus = OS . ascii ( "move_focus" ) ; public static final byte [ ] output = OS . ascii ( "output" ) ; public static final byte [ ] popup_menu = OS . ascii ( "popup_menu" ) ; public static final byte [ ] preedit_changed = OS . ascii ( "preedit_changed" ) ; public static final byte [ ] realize = OS . ascii ( "realize" ) ; public static final byte [ ] row_activated = OS . ascii ( "row_activated" ) ; public static final byte [ ] row_changed = OS . ascii ( "row_changed" ) ; public static final byte [ ] scroll_child = OS . ascii ( "scroll_child" ) ; public static final byte [ ] select = OS . ascii ( "select" ) ; public static final byte [ ] show = OS . ascii ( "show" ) ; public static final byte [ ] show_help = OS . ascii ( "show_help" ) ; public static final byte [ ] size_allocate = OS . ascii ( "size_allocate" ) ; public static final byte [ ] style_set = OS . ascii ( "style_set" ) ; public static final byte [ ] switch_page = OS . ascii ( "switch_page" ) ; public static final byte [ ] test_collapse_row = OS . ascii ( "test_collapse_row" ) ; public static final byte [ ] test_expand_row = OS . ascii ( "test_expand_row" ) ; public static final byte [ ] toggled = OS . ascii ( "toggled" ) ; public static final byte [ ] unmap = OS . ascii ( "unmap" ) ; public static final byte [ ] unmap_event = OS . ascii ( "unmap_event" ) ; public static final byte [ ] unrealize = OS . ascii ( "unrealize" ) ; public static final byte [ ] value_changed = OS . ascii ( "value_changed" ) ; public static final byte [ ] visibility_notify_event = OS . ascii ( "visibility_notify_event" ) ; public static final byte [ ] window_state_event = OS . ascii ( "window_state_event" ) ; public static final byte [ ] active = OS . ascii ( "active" ) ; public static final byte [ ] background_gdk = OS . ascii ( "background-gdk" ) ; public static final byte [ ] button_relief = OS . ascii ( "button_relief" ) ; public static final byte [ ] cell_background_gdk = OS . ascii ( "cell-background-gdk" ) ; public static final byte [ ] default_border = OS . ascii ( "default_border" ) ; public static final byte [ ] expander_size = OS . ascii ( "expander-size" ) ; public static final byte [ ] fixed_height_mode = OS . ascii ( "fixed-height-mode" ) ; public static final byte [ ] focus_line_width = OS . ascii ( "focus_line_width" ) ; public static final byte [ ] font_desc = OS . ascii ( "font-desc" ) ; public static final byte [ ] foreground_gdk = OS . ascii ( "foreground-gdk" ) ; public static final byte [ ] gtk_cursor_blink_time = OS . ascii ( "gtk-cursor-blink-time" ) ; public static final byte [ ] gtk_double_click_time = OS . ascii ( "gtk-double-click-time" ) ; public static final byte [ ] horizontal_separator = OS . ascii ( "horizontal_separator" ) ; public static final byte [ ] inconsistent = OS . ascii ( "inconsistent" ) ; public static final byte [ ] interior_focus = OS . ascii ( "interior_focus" ) ; public static final byte [ ] mode = OS . ascii ( "mode" ) ; public static final byte [ ] pixbuf = OS . ascii ( "pixbuf" ) ; public static final byte [ ] show_hidden = OS . ascii ( "show-hidden" ) ; public static final byte [ ] text = OS . ascii ( "text" ) ; public static final byte [ ] xalign = OS . ascii ( "xalign" ) ; public static final int GTK_VERSION = OS . VERSION ( OS . gtk_major_version ( ) , OS . gtk_minor_version ( ) , OS . gtk_micro_version ( ) ) ; protected static byte [ ] ascii ( String name ) { } public static int VERSION ( int major , int minor , int micro ) { <START_BUG> return ( ( major * 100 ) + ( minor * 10 ) ) + micro ; <END_BUG> } public static final int PTR_SIZEOF = OS . PTR_sizeof ( ) ; public static native final synchronized int PTR_sizeof ( ) { } public static native final synchronized int GInterfaceInfo_sizeof ( ) { } public static native final synchronized int GPollFD_sizeof ( ) { } public static native final synchronized int GTypeInfo_sizeof ( ) { } public static native final synchronized int GTypeQuery_sizeof ( ) { } public static native final synchronized int GdkColor_sizeof ( ) { } public static native final synchronized int GdkDragContext_sizeof ( ) { } public static native final synchronized int GdkEvent_sizeof ( ) { } public static native final synchronized int GdkEventButton_sizeof ( ) { } public static native final synchronized int GdkEventCrossing_sizeof ( ) { } public static native final synchronized int GdkEventExpose_sizeof ( ) { } public static native final synchronized int GdkEventFocus_sizeof ( ) { } public static native final synchronized int GdkEventKey_sizeof ( ) { } public static native final synchronized int GdkEventMotion_sizeof ( ) { } public static native final synchronized int GdkEventVisibility_sizeof ( ) { } public static native final synchronized int GdkEventWindowState_sizeof ( ) { } public static native final synchronized int GdkGCValues_sizeof ( ) { } public static native final synchronized int GdkGeometry_sizeof ( ) { } public static native final synchronized int GdkImage_sizeof ( ) { } public static native final synchronized int GdkRectangle_sizeof ( ) { } public static native final synchronized int GdkVisual_sizeof ( ) { }

Fix:
return ( major << ( 16 + minor ) ) << ( 8 + micro ) ;