#deterministic-safety