Keyword: "void pattern shadow matching"