Dafni BC - Other languages