/* None of the following methods perform any mutation */
int A:nice1 (C, C, int) { -<~; return new }
int A:nice2 (C, C, int) { -<~; return @ }
C A:nice_allocC (C, C, int) { -<~; return new }
void A:nice_log (C, int) { -<~; output_⊥ }