1int disallowed_zero[0];
2int disallowed_negative[-1];
3