grant {
    permission java.io.FilePermission "/${undefined}/hello", "read";
};