/*
 * All the virtual machine interfaces
 */
#include "/usr/inferno/interp/interp.h"
#include "/usr/inferno/include/isa.h"
#include "/usr/inferno/interp/runt.h"

int srvf2c(char*, char*, int, Sys_FileIO*);