@WiTh
() that can have multiple declarations