{...}: let
  hostNameToIPv4 = {
    "dns" = "10.1.2.3";
    "metrics" = "10.1.2.5";
    "proxy" = "10.1.2.10";
    "auth" = "10.1.2.12";
    "cloud" = "10.1.2.15";
    "alderaan" = "10.1.2.16";
    "social" = "10.1.2.17";
  };
  getIPv4 = hostName: hostNameToIPv4.${hostName};
in {
  getIPv4 = getIPv4;
}