Silence lots of unchecked warnings
Silence spurious warning on match failure