An exokernel in D