se c -sedb -no_check example3 -DSEDB_IN=stdin