the point of this change is that the code is compiled in non-debug mode, so it is at least type-checked