Rename xxxPositionVector.timstamp field into xxxPositionVector.timstamp_ because 'timstamp' is a TTCN-3 key word