Hi. Is this reproducible with e.g. GitHub - manticoresoftware/manticore-load: Manticore Load Emulator or smth else?