UNDEFINED not zero_type
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=2756
Reported by Martin Nilsson, IDA nilsson@pike.ida.liu.se
Pike v7.3 release 14 running Hilfe v2.0 (Incremental Pike Frontend)
> zero_type(UNDEFINED);
Result: 0