Cairo kernel/ starkware.py