Again, `get_os` should be a default value