f32 <= len("foo")
