note optimizations in set_int32