codegen: attempt to extract_args a Vector; not working