new return type for std::os::args