(n) (comp) modification time (of a file, e.g.)