{"name": "etimer_next_expiration_time", "code": "__int64 etimer_next_expiration_time ( ) { __int64 @@result@@ ; if ( etimer_pending ( ) ) @@result@@ = next_expiration ; else @@result@@ = Number L ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}