lib.py: add parse_int function