I think we can drop the import of `builtin_mod` as well.