Adding headers to AISUtilities.h.