Si doubleinc es llamado como un procedimiento remoto usando copie/restaure, el stub cliente procesa cada parámetro separadamente, así que envía dos copias de a al stub servidor.