migrate_misfit
case migrate_misfit:
env->migration_type = migrate_misfit;
case migrate_misfit:
if (env->migration_type == migrate_misfit ||
case migrate_misfit:
env.migration_type != migrate_misfit &&
env.migration_type == migrate_misfit)