WHIRLPOOL_IDL: Idl = ...