caveat/ecall.c: refactor proxy ecall