Corpus for sendmsg$TIPC_CMD_GET_NODES:

Coverage	Program