#include <stdio.h>
#include "datatype.h"
#include "stackm.h"
#include "extern.h"
#include "extern2.h"
#include "ak0.h"
static int debug1 = 0;
void KasirKanExecute0(char *s) {
char *ans;
if (debug1) {
fprintf(stderr,"This is KasirKanExecute0 in mgs1.c.\n");
fprintf(stderr,"Now execute .. <<%s>> as the asir command.\n",s);
}
ans = KasirKanExecuteString(s);
if (debug1) {
fprintf(stderr,"Asir returns .. %s \n",ans);
}
ans = KasirKanConvert(ans);
if (debug1) {
fprintf(stderr,"Input to sm1 .. %s \n",ans);
}
KSexecuteString(ans); /* put the result on the stack. */
if (debug1) {
fprintf(stderr,"\nDone.\n");
}
}