with (0) {}

with (0) 1;