Fixed inconsistent channel types (pointers vs values); actually start
the `limbo` routine; and a little more logging for debugging purposes.