* Output basic state and fix some bugs in DiagVar.