Move allocs_with_checks.