Using the safe library