undef notation for encoding