use [[noreturn]].
c++ style casting.
reinstate warnings.
annotate unused parameters.
reenable class varargs warning.
reenable covered-switch-default warning.
rename Mem -> Array.
rename array variables.