CompileTime load pr!-main;
in "pr-driv.red"$
