extract extension part of a file * * (if no extension, return pointer to end-of-string) */
source not stored for this graph (policy: none)
no test coverage detected