Adding i32-libs