The first correctly compiling interface.