Why do you need pios.h and openpilot.h here?  What part of the API definition are they satisfying?