module libcxx [system] {
  header "stddef.h"
  header "stdio.h"
  export *
}