//TODO simplified for unreachable branch