hal_types.h
pipe_queue_util.h
simple_queue.h
socket_util.h