/* c2ccruntime.c */
/* Cedar to C runtime routines */
/* simplified, uncomplete */
/* Christian P. Jacobi, November 10, 1987 9:22:08 pm PST */
/* Mark Weiser, November 20, 1987 */

#include <stdio.h>
#include <signal.h>
#include <xr/ThreadsMsg.h>
#define stdout XR←MSG←STDOUT

#define UNITSPERWORD 4

typedef char  **c2cAddrPtr;
typedef int    *c2cIntPtr;

extern char    *GC←malloc();

void
XR←DebugPutChar(ch)
	char            ch;
{
	XR←FPrintF(stdout, "%c", ch);
};

int
XR←ExtensionAlloc(n)
	unsigned        n;
{
	char           *ptr;
	ptr = GC←malloc(n*UNITSPERWORD);
	return ((int) ptr);
};