private static partial void _mi_options_init()
{
// called on process load; should not be called before the CRT is initialized!
// (e.g. do not call this from process_init as that may run before CRT initialization)
for (int i = 0; i < (int)_mi_option_last; i++)
{
mi_option_t option = (mi_option_t)i;
_ = mi_option_get(option);
if (option != mi_option_verbose)
{
ref readonly mi_option_desc_t desc = ref options[(int)option];
public static partial void mi_option_set_default(mi_option_t option, [NativeTypeName("long")] int value);
public static partial int mi_option_get(mi_option_t option);
public static partial void mi_option_set_enabled_default(mi_option_t option, bool enable);
public static partial void mi_option_disable(mi_option_t option);
// ------------------------------------------------------
// Options, all `false` by default
// ------------------------------------------------------
public static partial bool mi_option_is_enabled(mi_option_t option);
