Added bit vector
added let-proc