lib LibC
  type VaList = Void*
end