added std_int.h in correct place