Export is_ack/2
Export sm_request/0
Add is_failed/1 and has_ns/2 predicates