Implementation-defined examples