Add declare proper-tail-calls
Put back single-threaded messages