TYPEOF: untyped
TYPEOF: untyped