* The classic scandir() is more expensive and less portable. * We needn't full loop device names -- loop numbers (loop ) * are enough. */
source not stored for this graph (policy: none)
no test coverage detected