{"name": ".pipe", "code": "int pipe ( int @@pipedes@@ [ Number ] ) { return pipe ( @@pipedes@@ ) ; }", "source": [{"n": "pipedes", "t": {"T": 9, "n": "int *__attribute__((__org_arrdim(0,2)))"}, "location": "r56"}]}