Estas instrucciones son equivalentes: