main := fn(): int { @eca(i32, 1, 1, 1); return 0; }