typesafe dynamic c vec