1
setmp_noncritical print_mode (! print_mode @ ["no_brackets", "no_type_brackets"])
2
use_thys ["Unix"];