interface redefined