Add stub for EFC::Vector