add first version of safeint.h