#define MAX_NB_PROC                   128
#define MAX_NB_GLOBALS                6528
#define MAX_NB_STATS                  20480
#define MAX_EMUL_CODE_LENGTH_IN_K     4
#define MAX_NB_EVENTS                 16384
#define MAX_NB_ARGS                   1024
#define LOCAL_HEAP_LENGTH_IN_K        32
#define MIN_STACK_LENGTH_IN_K         8
#define DEFAULT_STACK_LENGTH_IN_K     32
#define STACK_ALLOCATION_FUDGE        (MAX_NB_ARGS+256)
/*@@@define MIN_HEAP_LENGTH_IN_K          250@@@*/
#define MIN_HEAP_LENGTH_IN_K          100
#define DEFAULT_HEAP_LENGTH_IN_K      300
#define HEAP_ALLOCATION_FUDGE         (2*MAX_NB_ARGS+1024)
#define ADDITIONAL_CONST_LENGTH_IN_K  32
#define CLOSURE_BLOCK_LENGTH          16384
#define MAX_NB_OFILES                 50
#define MAX_NB_OBJECTS_PER_FILE       3000
#define SYMBOL_TABLE_LENGTH           4003
#define MAX_NAME_LENGTH               256
#define PROF_SHIFT                    3
#define MAX_NB_OPEN_FILES             32