A semantic search engine to search for equivalent C codes