const char *env_get_os_name(void);