upscheme/c/builtins.h

value_t builtin_read_ini_file(value_t *args, uint32_t nargs);