Migrate defuns.