Final code version -- undocumented