Declaration of must be compatible with