/**
@page examples Examples

<strong>List of examples</strong>:

- @subpage ctfirexamples CTF IR examples
*/