header rework: we need ecrash.h here.