defined to avoid problems with the static type checker

untyped()