/* LINTLIBRARY */
#include "Vio.h"
#include "Vexec.h"
#include "Vteams.h"
#include "../../vax/Vlint.h"
#define _LINE_ID(line, file)# line file
_LINE_ID(11,"/xV/libc/execserver/mi/checkexecs.c")
SystemCode CheckExecs(execserver) ProcessId execserver; { return (SystemCode )0; }
_LINE_ID(13,"/xV/libc/execserver/mi/createexec.c")
int CreateExec(execserver,inserver,infile,outserver,outfile,errserver,errfile,nameserver,context,flags,execpid,error) ProcessId execserver; ProcessId inserver; InstanceId infile; ProcessId outserver; InstanceId outfile; ProcessId errserver; InstanceId errfile; ProcessId nameserver; ContextId context; short flags; ProcessId *execpid; SystemCode *error; { return (int )0; }
_LINE_ID(7,"/xV/libc/execserver/mi/deleteexec.c")
SystemCode DeleteExec(execserver,execid) ProcessId execserver; { return (SystemCode )0; }
_LINE_ID(9,"/xV/libc/execserver/mi/killprogram.c")
SystemCode KillProgram(execserver,execid) ProcessId execserver; { return (SystemCode )0; }
_LINE_ID(7,"/xV/libc/execserver/mi/queryexec.c")
SystemCode QueryExec(execserver,execid,execpid,program,status) ProcessId execserver; ProcessId *execpid; ProcessId *program; short *status; { return (SystemCode )0; }
