make sure ni CmiPrintf is called before IO is initialized.