function readFromTrustedFile() returns @untainted string {
    // read from some internal trusted file
    return "trusted content";
}