Initial version.
Made Lable for FormatStmt nonoptional.