/* LINTLIBRARY */
#include "ipl.h"
#include "../../vax/Vlint.h"
#define _LINE_ID(line, file)# line file
_LINE_ID(1,"/brew/V/libc/saconsole/vax/returnKticks.c")
int return_K_ticks() { return (int )0; }
_LINE_ID(6,"/brew/V/libc/saconsole/mi/gets.c")
unsigned *gets(string) unsigned *string; { return (unsigned *)0; }
_LINE_ID(3,"/brew/V/libc/saconsole/mi/printf.c")
int printf(string) char *string; { }
_LINE_ID(37,"/brew/V/libc/saconsole/mi/printf.c")
int hexprint(n) unsigned n; { }
_LINE_ID(58,"/brew/V/libc/saconsole/mi/printf.c")
int octprint(n) unsigned n; { }
_LINE_ID(79,"/brew/V/libc/saconsole/mi/printf.c")
int decprint(n) { }
_LINE_ID(2,"/brew/V/libc/saconsole/mi/puts.c")
int puts(string) char *string; { }
