let unsafe s n = unsafe_cdnf s n