/* error: file does not exist */