Si la especificación y el cuerpo se compilan por separado, entonces, el