Safety in programs