Make a very minor change to the LibVEX_Translate interface (sub-arg of
treebf33e4718168a0ace2bc2ea61e863c220323cd4c
drwxr-xr-x - VEX