Test cases by Owen Taylor Specification by Matthias Ettrich and Owen Taylor