Keepalive.MakeSourcemodule T : Mirage_time.Smodule Clock : Mirage_clock.MCLOCKA keep-alive timer
create configuration f clock returns a keep-alive timer which will call f in future depending on both the configuration and any calls to refresh