#include "substdio.h"#include "readwrite.h"#include "exit.h"#include "scan.h"#include "fmt.h"char buf1[256];substdio ss1 = SUBSTDIO_FDBUF(write,1,buf1,sizeof(buf1));void puts(s)char *s;{  if (substdio_puts(&ss1,s) == -1) _exit(111);}void main(argc,argv)int argc;char **argv;{  char *name;  char *value;  unsigned long num;  char strnum[FMT_ULONG];  name = argv[1];  if (!name) _exit(100);  value = argv[2];  if (!value) _exit(100);  scan_8long(value,&num);  strnum[fmt_ulong(strnum,num)] = 0;  puts("int ");  puts(name);  puts(" = ");  puts(strnum);  puts(";\n");  if (substdio_flush(&ss1) == -1) _exit(111);  _exit(0);}