include "RAM.csp"

assert ControllerPack(0, 0, 0, 0) :[deadlock free [F]]
