Writing Bounds-Safe Code in C with Arrays