master
<?php require __DIR__ . '/base.php'; run_primi_files(ROOT_DIR . '/example/*.primi', ROOT_DIR . '/example/');