Moving safe_int.h to libr/include