void main() {

    int pin = 1111;

    printf("Please enter the default pin: ");

    while ( pin != 1111 )
    {
      printf("Invalid input ");
      printf("Please enter the default pin again: ");
      scanf("%d", &pin);

    if (pin == 1111)
    {
      //The program continues
    }

    }

  }