// and is also placed in the public domain.
// The authors hereby disclaim copyright to these source codes.