#ifndef _flags_fs
#define _flags_fs
/******************************************************************************
** FILE: flags.fs
** Global flags to communicate between decode <-> main <-> execute.
*/

val is_taken : bool;

val is_ccti : bool;
val is_jmpl : bool;
val is_call : bool;
val is_trap : bool;

val in_init : bool;

val is_spec : bool;
val no_loads : bool;
val rollback : bool;

val unk_load_addr : bool;
val unk_store_addr : bool;

#endif