-- Various cache sizes. The default is `20', the remaining is set on the type of the items in the cache.
cache_size: 20
class_as: 20
feature_as: 20
byte_code: 20
class_dependance: 20
computed_feature_table: 40
feature_i: 3000
invariant_as: 20
invariant_b: 20
melted_desc: 20
melted_feature_table: 20
melt_feature: 20
melted_routid_array: 20
poly_table: 20
server_file: 20

graphics_disabled: False
--windows_timer_delay: 10
fail_on_rescue: True
period: 11
topo: True