cffi does overflow checking now, pgi could do overflow checking in an exception handler after the call to reduce overhead in the non-error case.
stdlib array type might be useful to type/range check int lists. Might also improve perf on CPython which doesn't have a fast path for int lists like PyPy.
Meta bug for tracking ideas: