runtime checks inserted