Removing threads_enter and leave, they don't seem to help.