Static sanity checks.