test/API/python_api/exprpath_register/main.c

float my_foo() {
  float result = 10.0 + 20.0;
  return result;
}

int main(void) {
  float result = my_foo();
  return (int)result;
}