record mapping fixed
debugging output inserted
benchmark fixed using MUID factory