add NOINLINE[1] to mapMaybe
add criterion output