vmsplice returned "bad address"