A example case for #17.