int *getAExtensions();