Added bit vectors to the C backend