add some simple benchmarks

Signed-off-by: xqx <xqx@klee.(none)>