[RFC 09/16] NOVA: DAX code