keep in sync with undef.ch