http://minsky.gsi.dit.upm.es/semanticwiki/index.php/Special:URIResolver/Category-3AReliance_on_Undefined,_Unspecified,_or_Implementation-2DDefined_Behavior

used by 1: