schema OS {
	running : Bool
	//auto_upgrade : Bool

	sub shutdown {
		condition { }
		effect {
			this.running = false
		}
	}
}