<div dir="ltr">x64_enc0 is not defined for the new Div instruction in asm. This is probably intentional since Div is not supported on x64. However, for translating the compiler into CakeML, this causes a problem, since the translator prefers functions to be total. Should we work on propagating the side condition that Div is never passed to x64_enc? Or can we make the definition total by providing a dummy encoding?<br></div>