main :: IO ()
main = compileTowerAADL id p testCameraVM
  where
  p _ = return cameraVMConfig

--------------------------------------------------------------------------------
-- Helpers
main :: IO ()
main = compileTowerAADL id p testCameraVM
  where
  p _ = return cameraVMConfig

--------------------------------------------------------------------------------
-- Helpers
main = compileTowerAADL id p testCameraVM
  where
  p _ = return cameraVMConfig

--------------------------------------------------------------------------------
-- Helpers