This sprint was originally supposed to be about implementing static checking for programs that use ptr pointers and array_ptr pointers to constant-sized data. It ended up being about type checking bounds expressions, representing bounds-safe interface type annotations and type checking code that uses them, and making the parsing and type checking implemented for Checked C so far be more complete.