Migrate formal parameters