function readFromDisk(@untainted string path) returns @tainted string {
    // read the file;
    return "the file content";
}