module Sodium {
    umbrella header "sodium.h"
    export *
}