In DPI-C, what data types to be used for internal variables?

I am not getting correct output for the following piece of code using DPI-C in VCS in EDA Playground. I expect 6 as answer but I get 248 every time, irrespective of a and b values. I have tried using svLogic, int and unsigned char for data type for a_int in helloFromC.c.

module automatic test;

  import "DPI-C" function void helloFromC(logic [2:0] a, logic [2:0] b);

  initial run();

  task run();
    logic [2:0] a; 
    logic [2:0] b; 
    logic [2:0] c;
    a = 3'b100;
    b = 3'b010;
    c = a+b;
    $display("Output from SV is %0d", c);
    helloFromC(a,b);

  endtask

endmodule

This is my C program

#include <stdio.h>
#include <svdpi.h>


extern "C" int helloFromC(svLogic a, svLogic b) {
  svLogic a_int = a+b;
  printf("Output from C is %d", a_int);
  return 0;
}

I get output as

Output from SV is 6
Output from C is 248

svLogic is supposed to map to a single bit logic. You have a vector (aka packed array), therefor you should be using svLogicVecVal. It is still a 4-state value, so algorithmic operations of SystemVerilog values performed on the C side may not work the way you expect. Using bit [2:0] on the SystemVerilog side and svBitVecVal on the C side will work more as you expect. Or simplify things and use int on both sides.

For more on DPI, refer to IEEE1800-2012 section 35, Annex H, and Annex I.