finish nachos.threads.Alarm