Verificator remap system.Input and generate an extra compilation unit that generate a self contained verificator program - View it on GitHub