If safety is extremely important, why there were bugs in the first place? Surely these should have been caught before code would get into main, no?