primops.txt
