caveat: introduce ecall.h header