Header file and amsjs coroutine.