Re: read_integer causing "user directive failed" in 1.3.0 on x86_64 (Linux)

Scott L. Burson wrote:

> On the 32-bit machine, the `read_integer' simply fails; on the 64-bit 
> machine, I get "warning: ... user directive failed" and the program 
> exits.

I misstated that.  On the 32-bit machine, `read_integer' throws an 
exception, which is correctly caught.  On the 64-bit machine, it appears 
to be the case that the second clause for `read_pairs' is skipped; looks 
like the `catch' is malfunctioning.

-- Scott