ins / i32 mantaln:r