Agda added axATPHints field.