Generator for #00924