lib/exec: C implementation code to light FFI