adding some mmix stuff