Writing the host in C seems like a bad choice though. Isn't that exactly the kind of software you want to ensure is memory-safe?