definitions:
  Pulse:
    properties:
      pid:
        type: integer