0d44c5405f
Currently it fails on fuzz tests. Also type conversion to i32 is dangerous per se
Currently it fails on fuzz tests. Also type conversion to i32 is dangerous per se