1 2 3 4 5 6 7 8
#include <stdint.h> extern uint64_t lucet_runtime_test_hostcall_yield_resume(uint64_t n); uint64_t f() { return lucet_runtime_test_hostcall_yield_resume(5); }