nmi.py and cputime.py