codegen: implement real vector head