#ifndef MODC_MODULE_lp64_H
#define MODC_MODULE_lp64_H

#include <stdint.h>

typedef int64_t integer;
typedef uint64_t cardinal;
typedef double real;
typedef const char* string;

void lp64(void);

#endif /* MODC_MODULE_LP64_H */
