Paws.c staging semantics by ELLIOTTCABLE