Just in case...

       
switch (a.variable)
{
 case 4:
 {
  if (a.variable == 4) 
  { 
   ...
  };
 }
}