/* The following method may mutate any of its arguments with public data */
void A:mutate_arg (C, int) { -<~; @<~⊥ }

/* The following method may mutate any of its arguments with any data it
   recieves, and return anything */
A A:mutate_args (A, C, int) { -<~; @<~@; return * }