1Test that an aput on a null array is properly checked
2by the verifier.
3