procedure safe_get (val : out Integer) is
        procedure inner_get is
            -- Closure over val
        begin
            I_IO.get(val);
        end inner_get;
    begin
        validate(inner_get'Access, data_error_h);
    end safe_get;