Constant PROPERTY 

pub const PROPERTY: &str = "property";

(property "name" (params …) (do …)) — §11.10’s generated-input sibling of test.