Las variables de tipo puntero en Ada se inicializan implícitamente a null.