6.12 Developer's Manual