/*
 *  This header takes the place of the original index.h which, along with
 *  other gcc's header, is missing since we are using a barebone gcc environment.
 */
#ifndef GCC_INDEX_H
#define GCC_INDEX_H

char* index(const char *s, int c);

#endif // GCC_INDEX_H