ASTTimeStamp is an array [0 .. 250] of STTimeStamp elements.