Routines for addition with overflow check
Overflow test #1
Adds a type to represent memory buffers