combine the buttons to get the right number, which is checked in _INIT_2:

  if (copy_from_param2 == 0x5620) {
    local_98 = (undefined *)FUN_001022f0(local_78,0x5620,0x55);
  }

which has been altered inbefore in _FINI_2:

  for (i = 0; i < 0x10; i = i + 1) {
    local_1a = local_1a << 1;
    main_window_obj = gtk_builder_get_object(gtkbuilder,local_a8[i]);
    iVar1 = gtk_toggle_button_get_active(main_window_obj);
    if (iVar1 != 0) {
      local_1a = local_1a + 1;
    }
  }
  local_1a = local_1a ^ 0x1033;

so the number we are trying to get is: 0x5620 ^ 0x1033 == 0x4613

values of buttons were for me:

0010    0040    0800    0020

0100    0400    0080    2000

0200    0004    1000    0008

0002    4000    8000    0001

which results in the pattern:

x o o o
o x o o
x o o o
x x o x

x=pressed

now read this pattern left to right, top to bottom as 16bit variable, msb first

in my case: 0x848d == 33933

execute
get_token 33933
