Migrate formal parameter