`cast(int)c.filename.length`