More writeToSystemState implementations