util: added the convenience method map_with_nr/3
util: added the convenience method map_with_nr/3

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror