Re: compile-error on pigeonhole