Diff xsb-3.8.0 with a xsb-4.0.0

Thank you!