Using the Mongoose OS JS API for Timers (https://mongoose-os.com/docs/mongoose-os/api/core/mgos_timers.h.md) I am unable to work out how to get the returned value of the tim