XSB Version @xsb_full_version_name@ of @release_monthname@ @release_day@, @release_year@
[@canonical@; mode: @compile_mode@; engine: @engine_mode@; gc: %s; scheduling: @xsb_scheduling_strategy@]
