PARA_ERROR(SERVER_EOF, "connection closed by para_server"), \
PARA_ERROR(INPUT_EOF, "end of input"), \
PARA_ERROR(HANDSHAKE_COMPLETE, ""), /* not really an error */ \
PARA_ERROR(SERVER_EOF, "connection closed by para_server"), \
PARA_ERROR(INPUT_EOF, "end of input"), \
PARA_ERROR(HANDSHAKE_COMPLETE, ""), /* not really an error */ \