Symbol: BINTIME_TO_TIMESPEC