This is a private, non-exported function

get_os()