Is this a bug? 'v3f32' has size '16' and not '12

I should have used 'float3' and 'float' instead of 'char3' and 'char', but
the basics are the same.