properly handle generation of instances of structures ending in [0 x ..]