
  -spec erlang:read_timer(TimerRef) -> Result
                             when
                                 TimerRef :: reference(),
                                 Time :: non_neg_integer(),
                                 Result :: Time | false.

  Reads the state of a timer. The same as calling 
  erlang:read_timer(TimerRef, []).
