minor changes in header, jash
run.c is almost ready