Functions

The actual ecall function defined in .edl.