// error-pattern:error opening

mod doesnotexist;