module Vale.X64.State
open FStar.Mul
open Vale.X64.Machine_s
open Vale.X64

// Adding this stub so F* compilation won't panic when it can't find a backing .fst file