// Intentionally empty: Catch2WithMain provides main().