Assertion list
socket (primary) → DefinedAs
Results from Ascent++: 1
socket → DefinedAs → nonblocking 0.42