3: introduce unspec() and chkptr() helpers