Added a WorkQueue ADT to SpicaC for use in multi-threaded programs.