util: use gcc builtins to better check array sizes