First half of instruction rewrite (profile)