sig
  val eax_reg : string
  val ebx_reg : string
  val ecx_reg : string
  val edx_reg : string
  val is_register : string -> bool
end