Add implementation of Vec0.