<Kernel name="PostSystemCallback" dispatch="serial">
  <Parameter.Pointer name="@DynamicsSystem"             type="agx::DynamicsSystem"              include="agx/DynamicsSystem.h"/>
</Kernel> 
