/**********************************************************************
* Copyright (c) Digital Equipment Corporation 1984, 1985, 1986. *
* All Rights Reserved. *
* Reference "/usr/src/COPYRIGHT" for applicable restrictions. *
**********************************************************************/
/*
* SCCSID: @(#)space.c 3.0 4/22/86
*/
#include <stdio.h>
space(x0,y0,x1,y1){
putc('s',stdout);
putsi(x0);
putsi(y0);
putsi(x1);
putsi(y1);
}