</html>
};
</syntaxhighlightpre>
The permission strings may denote ids, users, user groups, applications, or any other realms. It is completely up to the user which strings are used, and which functions will be annotated. In the given example code, only the last function has a {{Code|%perm:allow}} annotation.
return web:redirect('/main')
};
</syntaxhighlightpre>
Some notes:
web:redirect("/")
};
</syntaxhighlightpre>
For a full round trip, check out the source code of the [[DBA]] that is bundled with BaseX.