@@
@@

// if int x is replaced by ..., there is a todo in transformation.ml

- foo(int x) { return; }