#include <stdio.h>


int main(int argc, char *argv[])
{
    char character1;
    char BUFF_user_name[5] = "toto";
    char *BUFF_T2_alias_BUFF_user_name = BUFF_user_name;
    do
    {
        printf("character1: %c\n", character1);
        character1 = *BUFF_T2_alias_BUFF_user_name;
        BUFF_T2_alias_BUFF_user_name = (char *)((int)BUFF_T2_alias_BUFF_user_name + 1);
        printf("character1: %c\nBUFF: %s\n", character1, BUFF_T2_alias_BUFF_user_name);
    } while (character1 != '\0');



    return 0;
}