Mark RunTimeChecks as final