after adding backtrack.ml compile now
still debug, deadlock exists
almost works