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