procedure Hola; pragma Export (C, Hola, "ada_hola");