* do not change the name of symbol in libraries * run microbench, but trigger segmentation fault
* pass hello
* but we should manually fix the symbol name of AM libraries