casting to vector