// this module does not expose any public API (yet!)