module Issue720 where