/* Like the basename() function, but does not modify @path; it just returns a
* pointer to it. This assumes the path separator is the
* OS_PREFERRED_PATH_SEPARATOR. */
/* Like the basename() function, but does not modify @path; it just returns a
* pointer to it. This assumes the path separator is the
* OS_PREFERRED_PATH_SEPARATOR. */