// Copyright status: this file is in the public domain.

#include <stdlib.h>

#include "lx.h"

void lx_abort(void)
{
 abort();
}