implementation void "foo"(int * %x, int * %y) begin ;