No need to verify that malloc's return type is i8*.