function a()<|>: %checks(a) {}