Symbol: DIF_VAR_WALLTIMESTAMP