# define Int 1 # define Char 2 # define VoidStar 3 # define CharStar 4 # define CharStarStar 5 # define MAXARGS 8192 # include "os.h" # include long printcall (char *, int, ...); void printretn (long, int, ...);