#include <exec/libraries.h>
#include <proto/exec.h>

struct Library *ProofBase = NULL;
extern unsigned long _ProofBaseVer;

void _INIT_5_ProofBase()
{
  if (!(ProofBase = OpenLibrary("proof.library",_ProofBaseVer)))
    exit(20);
}

void _EXIT_5_ProofBase()
{
  if (ProofBase)
    CloseLibrary(ProofBase);
}