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