// tramp.cc -- trampolines
//
// Author: ian.piumarta@inria.fr
//
// Last edited: 2000-11-06 12:12:42 by piumarta on emilia.rd.wdi.disney.com

#include "tramp.h"


void (*tramp_init_fp)(void)= 0;
void (*tramp_resume)(Frame *topFrame)= 0;
int  (*tramp_callOnCStack)(void *, int a= 0, int b= 0, int c= 0)= 0;
