Proving memset over range of values
Merged with master
cleaned up all hoare triples used
Tried solving write char for unsafe type
constrained the type unsafe proof to byte pointers
proved write_char_overflow_check_type_unsafe!!!