If you try to spec the problem with all the painful details for the machine to understand, you will end up with a rust codebase.