> They think it's bloated. Like 200 millions lines of code in process 0. Impossible to prove it correct.

If it's impossible to prove it...