History 0053-Introduce-stricter-type-correctness.patch