Tomemos el código C más simple posible: