Added UNDEF to prelude.