This FAQ has been removed. A new FAQ will appear on the SICStus webpage, http://sicstus.sics.se soon.