rename `default` to something less likely to clash