4 cat << EOF | sqlite3 $db_file
6 delete from return_states where function = 'strlen';
7 delete from return_states where function = 'strnlen';
8 delete from return_states where function = 'sprintf';
9 delete from return_states where function = 'snprintf';