#ifndef lintstatic char sccsid[] = "@(#)space.c	4.1 (Berkeley) 6/27/83";#endif#include <stdio.h>space(x0,y0,x1,y1){	putc('s',stdout);	putsi(x0);	putsi(y0);	putsi(x1);	putsi(y1);}