(compiler: pl0): patch GUI entry point.