The original version misses some labels and thus it cannot be compiled. It is included here for historical reasons.