hastings_lex is not found!