question about enableInitializersExecution in repl

Stream: general

[Frederick Pu]

In lean repl why do they call enableInitializersExecution every time processInput gets called instead of calling it once at the start of the program