SOFTCORE_OUT
#ifndef SOFTCORE_OUT
f = fopen(SOFTCORE_OUT, "wt");
printf("couldn't open " SOFTCORE_OUT