generate C typedefs into GeneratedTypes.h instead of using bsvvector<> C++ template in generated code