A basic question about ALL_STATE macro..