Replacing int32 by intp