Implement c3.4.2's examples (in progress)