SafeML(1) – introduction