Check redefined ok