an UM -> x86_64 translator-powered implementation, passes sandmark