there is a return null; below which is unreachable