both sicstus and scala version