int multiple_return(double n) {
   __return_label:
   
   return 10;
}
