Add cram tests from t.py