/* LINTLIBRARY */
#include "../../m68k/Vlint.h"
#define _LINE_ID(line, file)# line file
_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; { }
