(* State of the world, contains all the required information at any point *) type t = { cartridge : option Cartridge.t; } (* Global reference *) let state = ref { cartridge = None }