MMIX support library for various purposes