Don't need to specify i32, it's a u32 anyway.