se si trova all'interno di main()
semplicemente:
codice:
case 4:
  return 0;