{}: {
  piped-backend = 3012;
  piped-proxy = 3013;
}