#ifndef INTCALLDEFS_H
#define INTCALLDEFS_H 1
void cause_interruptcall(unsigned int atom_index);
#endif