new file:   lexv.py