Why can't simpler programs be written in languages that at least make an attempt to be memory-safe?