package main

// This first Catalog entry deliberately selects the module defaults.
values: {}
