PARA_ERROR(EOF, "end of file"), \
PARA_ERROR(READ_PATTERN, "did not read expected pattern"), \
PARA_ERROR(SHORT_WRITE, "unexpected short write"), \
PARA_ERROR(EOF, "end of file"), \
PARA_ERROR(READ_PATTERN, "did not read expected pattern"), \
PARA_ERROR(SHORT_WRITE, "unexpected short write"), \