Milner ' s Safe C :is