pub fn decode_tiny_mapped_f32(staging: &Buffer, len: usize) -> Vec<f32>
After submit: decode one f32 vector from an already-mapped tiny staging buffer.