import "io" for Stat

Stat.path("nonexistent") // expect runtime error: no such file or directory