;; (define-type dim (record time::int length::int mass::int))

(define-block
  sldemo_enginewc__VehicleDynamics


  (
    sldemo_enginewc__VehicleDynamics__Teng__Out1_1_1
    sldemo_enginewc__VehicleDynamics__Tload__Out1_1_1
    sldemo_enginewc__VehicleDynamics__N__In1_1_1
  )

  (
    sldemo_enginewc__VehicleDynamics__InverseInertia__In1_1_1
    sldemo_enginewc__VehicleDynamics__InverseInertia__Out1_1_1
    sldemo_enginewc__VehicleDynamics__InverseInertia__Constant_1_1
    sldemo_enginewc__VehicleDynamics__Sum__In1_1_1
    sldemo_enginewc__VehicleDynamics__Sum__In2_1_1
    sldemo_enginewc__VehicleDynamics__Sum__Out1_1_1
    sldemo_enginewc__VehicleDynamics__w__In1_1_1
    sldemo_enginewc__VehicleDynamics__w__Out1_1_1
  )

  (
  )

  (
    (- sldemo_enginewc__VehicleDynamics__Teng__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_enginewc__VehicleDynamics__Tload__Out1_1_1 (mk-record -2 2 1))
    (- sldemo_enginewc__VehicleDynamics__InverseInertia__Constant_1_1 (mk-record 0 -2 -1))
    (- sldemo_enginewc__VehicleDynamics__N__In1_1_1 (mk-record -1 0 0))

    (- sldemo_enginewc__VehicleDynamics__InverseInertia__Out1_1_1 (+ sldemo_enginewc__VehicleDynamics__InverseInertia__In1_1_1 sldemo_enginewc__VehicleDynamics__InverseInertia__Constant_1_1))
    (- sldemo_enginewc__VehicleDynamics__Sum__Out1_1_1 sldemo_enginewc__VehicleDynamics__Sum__In1_1_1)
    (- sldemo_enginewc__VehicleDynamics__Sum__In1_1_1 sldemo_enginewc__VehicleDynamics__Sum__In2_1_1)
    (- sldemo_enginewc__VehicleDynamics__w__Out1_1_1 (increment sldemo_enginewc__VehicleDynamics__w__In1_1_1 0 1))
    
    (- sldemo_enginewc__VehicleDynamics__w__In1_1_1 sldemo_enginewc__VehicleDynamics__InverseInertia__Out1_1_1)
    (- sldemo_enginewc__VehicleDynamics__Sum__In2_1_1 sldemo_enginewc__VehicleDynamics__Tload__Out1_1_1)
    (- sldemo_enginewc__VehicleDynamics__Sum__In1_1_1 sldemo_enginewc__VehicleDynamics__Teng__Out1_1_1)
    (- sldemo_enginewc__VehicleDynamics__InverseInertia__In1_1_1 sldemo_enginewc__VehicleDynamics__Sum__Out1_1_1)
    (- sldemo_enginewc__VehicleDynamics__N__In1_1_1 sldemo_enginewc__VehicleDynamics__w__Out1_1_1)
  )
)