module idevice [system] {
  header "idevice.h"
  export *
}