Don't insert checks directly, use runtime lib