/* Swap procedure to illustrate assembly code formatting */

/* $begin swap-c */
void swap(int *xp, int *yp)
{
  int t0 = *xp;
  int t1 = *yp;
  *xp = t1;
  *yp = t0;
}
/* $end swap-c */