#235: avoid Carp pollution