/* LINTLIBRARY */
#include "Venviron.h"
#include "Vprocess.h"
#include "../../vax/Vlint.h"
#define _LINE_ID(line, file)# line file
_LINE_ID(12,"/xV/libc/user/mi/setusernumber.c")
SystemCode SetUserNumber(pid,usernumber) ProcessId pid; unsigned usernumber; { return (SystemCode )0; }
_LINE_ID(12,"/xV/libc/user/mi/user.c")
unsigned User(pid) ProcessId pid; { return (unsigned )0; }
