module kcdata [system] {
  header "kern/kcdata.h"
  export *
}