(executable
 (name exhaustive_deque_core)
 (modules color_GYR deque_core exhaustive_deque_core))

