HSE_GetCapabilities_Example (uint8_t * phseCapabilites)
{
  hseSrvResponse_t srvResponse;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  srvResponse_5 = GetAttr (2, 8, phseCapabilites_3(D));
  # DEBUG srvResponse => srvResponse_5
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (srvResponse_5 != 1436920371)
    goto <bb 3>; [66.00%]
  else
    goto <bb 4>; [34.00%]

  <bb 3> [local count: 708669601]:
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("BKPT #0");

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return srvResponse_5;

}


