void gpio_test(undefined4 param_1)

{

  FILE *__stream;

  undefined4 uVar1;

  __stream = fopen("/var/gpio_ctrl_result","w")   //possible issue identified - semgrep

  if (__stream != (FILE *)0x0) {

    uVar1 = gpio_in(param_1);

    fprintf(__stream,"%d\n",uVar1);

                    /* WARNING: Could not recover jumptable at 0x00401b60. Too many branches */

                    /* WARNING: Treating indirect jump as call */

    fclose(__stream);

    return;

  }

  return;

}