tinycthread stopped working... odd!