Checked-size array parameters in C