static void Read(char *buffer, int bufferSize)
{
        char input[1000];
        /* Code to read into input */
        for(int i = 0; i < bufferSize && i < 1000; i++) {
                buffer[i] = buffer[i];
        }
}