From 2f8b7dc737dccd43ee0e98bae88318ae58d01f22 Mon Sep 17 00:00:00 2001
From: "russell@unturf.com" <russell@unturf.com>
Date: Thu, 16 Apr 2026 16:57:24 -0400
Subject: [PATCH] portal benchmark + 3 mismatch defects fixed
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Benchmark exercises full save×load matrix across Python/C/asm plus the
mismatch cases (wrong format, truncated input, missing file, corrupt
header). Cases that used to segfault or report wrong paths now degrade
cleanly.

asm (uncommonlisp.s):
- (define var) with no value now binds to VOID instead of segfault
- portal-resume checks sys_read returned full 48-byte header; sanity-
  checks heap_size and heap_base before committing r14/r15 restore.
  Corrupt/truncated portals now return #f cleanly.

py (uncommonlisp.py):
- file-not-found error inside a nested (load) now reports the actual
  missing path (via FileNotFoundError.filename) rather than the outer
  script path.
- _load wraps UnicodeDecodeError (binary file loaded as text) into a
  LispErr with the path; no more raw Python traceback.

tests/portal-benchmark.sh: 50-iter benchmark, 4 parts
  (save / load / cross-process / mismatch-classification).

Representative numbers (this laptop, 2026-04-16):
  setup+save: Python 126ms, C 3ms, asm 0.9ms
  cross-proc: Py→Py 260ms, C→C 6ms, asm→asm 1.5ms
All three test suites still pass: 571 py unit, 131 asm, 189 shared.
---
 asm/uncommonlisp          | Bin 43760 -> 43840 bytes
 asm/uncommonlisp.o        | Bin 40944 -> 41064 bytes
 asm/uncommonlisp.s        |  20 ++++-
 tests/portal-benchmark.sh | 179 ++++++++++++++++++++++++++++++++++++++
 uncommonlisp.py           |  12 ++-
 5 files changed, 204 insertions(+), 7 deletions(-)
 create mode 100755 tests/portal-benchmark.sh

diff --git a/asm/uncommonlisp b/asm/uncommonlisp
index 367417ece1a9301e82e047691ecc2be61a3826e8..dacd550c48ee8b893f3b6c9f459eefea949eb53f 100755
GIT binary patch
delta 7415
zcmZ|TdstLu9tZGqaJZ<8gMbVa!%gHOav83If-{nOG&D#w33W1sVl|*7v@$0I+@0nj
zvbVBrE%d3})!I^KAFX}zLY5?%DUz48ATKq@J_%-umu>d<p7R@q^Lw7=k8|ezeBb*y
za}E#v-+CN8<?(Wy_`;_6s*zh#1o^XN_cmWYud_*l;P|Kg-+mRN#by>3nzrCuQ4pjl
z`i5*l&^8!6<bp*m%vK7|%7v$u!qajgO(R#UmJ4-CVWnL70t&r8o@{$)XR>j2{aw$R
zpaN@;RNpfw*(T4ItiL!ye|I`d`@E(0gL;^kWbKx$hYPIN94pux`c&T$*PTuPGnWbM
zv_5sz(JZKCOOJN6uz;{Av7BXw%@KFAy0CCDk!=f$8{K)==`=0w`=R&vT~?@%VYkDw
z693F?QAz3i0&6>TCs{ijd#~}H+e-UdCF|D()}I|O!$c%&d+!XkG<;G1<vUKN*;E3J
z3X4od1=hok-T|j`w)LQ?q-0T%sSs)wSdTfnWNd?KeVci;c1KCLAV4*<qmbPSj~=%R
zDws-23r$7J(j@B@M+Zxdm?u8R>LTJiZrx_@N5qav$Pk2@&>~YY-;z&RPlOb-`ZiyO
zR6jVbCIpV2H35B{y=5#fa!Oj1JNizJx=f3glpg9G3l1AO4mMH-7*gqR;1>HJGFL2P
zS0eL*R^M_u3t`24sAEoLe;qX}FRD;{f;C6Qi&yNQL|ySntAT!?_c_{zbe;U|er>~M
z<y(Qap;P%bSKHtnET{7zWv3>jX}0z`oy?RJ%$gIt*`$~W;v)87jA3L9uskbfiVS`w
z)tCJeud{y{Ge*>$>xBk&@qz5>WKZ^MY=7AFL{WhK^2~v=WIY47i#JTft7a4|$Pv%P
zczuyKL|V^9Q0ae@pptU;$lW`N_?m3Km%(`_-zz!X)^OkCe#1*m8E?lxsr@sKN-uj^
zRs3|#;LkYquj3!qY~Y2Kn0R(>lCRfk$4n&)WLvYmSlz^Hn#`Yu))}X{c6q3vXZ;DI
zH6JPv$O0yv)*QHmsaIlaU_KNi>lY7~EbaSTvYzIb;W#^*I7{>TMY&cO%ShVjapMBp
zm-LWFx*s#d1+wInF>G>jj5wc}lSA&!zQB99FWSc}SqGIL(^{XtJ!Z#V?XcSZtUWnc
z>|{O35%2>MQ-VE`UGcOr`9I1RUb3x=_H$&ibt#XEC+*!SS>ip~Xl38L;mr4Y1T2&9
z^Ud)rB{f#_V7ENUKzmi{T~W+qtI`uR{@=@{v$v+t5H+pmloIpL%odm03o@sQn#k{z
zR<L=~#c%8vvz`#OOGEe-@sg~XXvyXo&dk|!#S`pb*-dbqk`rmDA576UzR53JQ|?TD
zkJ+H&6mM<gM)^_}MEgjMN7k>CY{k)jQe$V$Q|#%Syuj8{Q7A2e8v-iHj}u!)i@iN3
zLbL?kBMOBu((fVavzP4F#2esJyXQGL$!%@-MMuE8Pb+*LPCRh@<qYgx<G~tV`4Mo#
zF#|TFub1!8KB&Ua@8S71Jii6!rINjTs>MT$W<TXsS?=rPyMM^s_dVR+rHAIj3ZM6b
zzN5OhdqxJyi>~IRRVYZIM>yR*Dc2gUP%)=og#?9Wayq5ZZ~Rx>l$*opkV021iY0Q}
zrC7H@VVvGls7oO~PA@8SL?MyW8in>NG@u1qp^zO276p%<CjDdnf-u)`2_F3qJRdX1
zHua)o+DT`C{QPmOKf%|bJlxmY%Z;nGt%XKCY?0}SZqddfD|MpTo?Urhq_~UST4N5G
z7-p2OjO!r6m;ziB#-3cO3;CF&L6{D(ZIFH%VRSW<&#{>5*on0|@p0C>_O$p3YkNj#
zc}=gbxgTq8A$|;fkoZ~jKr)|;=*x-sqn9gg8JgxD3~EUOZ`gglY%6hp^k;~VM}LVp
zzx=$P%PNQQr(&>Q6$rxp=sm<AMz0Px@*amikE3ge*P<^WUeDbEGioNmtJq+W_&eyO
z(~Lud@-Ms4E67FPkG`9D2Rgq=-1`q5oxxyqq>=YK^!W*W1o7*C;2vXnQ+Vu<`hMto
zw=3i8F}U9y$b(NrUrc;5`n$wupjQ$vLT@3yWUM^CD2$6T$^*I%k70wah}WPmBVLET
zfVdUCmiQ~^2Q4J{8wQ=kKSIAg!6*#>>_Lx=QTsmh3gVxm+tG)ve+LE*(%?9{K2|-z
zDfETJ&!aaJzkvRw+AYEr41Q4u!T`EYoO<9v^zp<+c=Ym{ZWi%T=vBnW%5D*b^CSp$
zbri22I2OH$cryBH#Iw<l5TB0T&wXhBVeSPOOq-}4xCH$<;w#YKA-)Q|i+C;iiUfE6
z^7zkVU>g>|e1rz{Z;0E_117mU;`LueHxX|^uOPnDUtYf`Y$Aaj8yqHn0No=|J@8TV
zc;aW#uM+P;Pe`(;J91#KAW7{5=oaF4&;ygz^}PZF_=v(J;=brRT<*I5It&ac>W(7N
zKPH}ley>4YKOMb*cpm!u#4WQh(59+8Dny@4d<l9L@yF2j5U)X>ou=-8z2X+3g#<5R
zgV1z!gV)iUiNAyX5%FE<-Ng5!2W9a7UHcDTJ23FeQV-mPo=5x#^g7}W^sU7E(U)fq
z>z|K*8-upt0k~%%9N;EuBOUppdrvm<3PYc8bd$WYAr|7$R}(jY!}y}GigYvu8?=)K
z`RLkAqq}$bHV1t>slO2YD(Sxry)WB1Z2zI7S_~#mQ4g>l{rXh3zk<FjSM6KTw-eui
zetF2J!Km=ri-9H2D3@J_Bj`8DYqt|UkQo|vmJ;&Lyol*k;{QcoO#C<WYU016zeL=7
z9G{;k{9SR2Yqr8z4E{kHgrdJiUUf<6UBq+H$I(|8dYZ~%{COB`R|SIb5c;RYA3@I`
zuc(#iw~5!H7n3*93*7nN(2Gf6!v<T4zmEPH@ongrh<||YMczbv(F@_t;@*Fl%wY_k
zA+Ma1=o^UlpkE|DfWDdd9rTlKSH>R|#BT#p_>=3^!i(?;LElYYUD4<_i6^6<Bc6xe
zOMG^aJiaItlYxt|!P~^m=qHG;M2{h_x;5y*#Ou+QOC)H*pq2P$^e*Dt(6wyfuR6=)
z2BW-huEQQoTZn&#zM1$j^mgLs&_|FLWH0(1rM~-Sx{1LJ(m>GhslkONFHS9bAn{=I
ziNvGO>r@WoCt~oGDiDM$^lyphqYn_Di|&<fbZw@5E=8Y9yqr7#F;|k{No-J0d>wi%
z@r~$WhI-&l=yk;3M!yc8IDD!*G4RM#ceDpRpBZerkcA{Yis>r0%%-z!An7GcUnPDO
zeK+wt=)V&8g#Qup+dz}0o|_i^g5vJ`=^hN6q`?IAF!Gi*pr;ehMW0DrLSL?O7=Jzn
z`&5A-EJZ&-yaGKSTfMS1=&{5b(YuMi#GT(y+8lL9Td=`+;ycm9$e$l}^fAQS(B~2F
zKz|h6z5g(oGZ-8vf5-fY{yFh}^mmEhMn6d0Cj<t81sA(r8GkGWE8PLFDTJe+C!Y2P
zo{Qd3>d!)7kZY9tbsdUA<ncw}O%jx1gR{iT(N~i{#H!IBApiS%7CoQ%i|ETOBw!e9
zB)$cGl~KKd_t4)U?gKwdKiF!)PhI~*sP89?5P}yfKGL-n|FIjIztct~mDQS8l$BRh
zmYFN7%w=n<pAv@AqZO4a?4w$ik7Ct3BE&6h(~bkaYqOOuJmIvAE!mkc^5tel+SsO@
NSsq0@SjWzo{{yY!SyTW3

delta 7313
zcmZA6eOOdg9tZGya0Xv_(SQNvWgz4w1qMVwWOODauLdpzZ6Yb+_GDYBDY%<uj;oZ-
zP84?9$K7ge>CL4cE1lJ~(!^BQcGD-#!mLD8au8Qrvy#$g&$;)@!2R7n=HB!9p0|7M
zg)?I7=Rx0o7Sxo+Y@5=T4_{?dv}4uw=8*8<9hr*a`-Ar%;lCZp*75k*Nq4p}MNy~5
zHB3>Iu!f`{t>DrMg?ix;t#GeiSfv$`O<J{ww8Bcg@PJm>B?>)#CjNTtF>7{-`?R{@
z^flE}P@%dn`I3I|`>R!Vr|NDiabNM(@vU(=A!Dxk{Q_#F<nnLgaz=caFFN<+Ci~vv
zN%2W+6)%pT!&-S$d;%-t@5HB#?7HsvJMZp2)zf*Mm&K*<;R*Q}tEJ7Ws;($;w~Ovn
z_rHB@S7guot9y5-?!zVS^S&lAzUpr8spLx&=FPbJv)^CitP+jN%AMsU?l#}G|M~s1
z-L1~5s(IzkGEuX{eZ+TG!~LRK?`B!8-RDeD6j80lSHOo^lOy+u3eKwPGH1DdYpVN#
z?+fm<&Sih(P1dxaVL$Wttf`@elNF^tw%l1MSK>eXvQ>>*|C78Ab;GsD`WW$PuD_}G
zSWi7KO`IB&JrJGLqT|lH7gQhUvGV4`=pf}M{(hpJ)$_i@X;JI@{Qfd=d$Qjnetj{0
z8+d6_8C%1*B&D-H@4u2R1Wmd-QY`C+YjeUHVlCR$?O_cr{i-Ca;XVDTG_2vWel=I5
zynFm4)7!m%KX0~2a9fIvE#b8(*~2Fb(&od<5~F!oPKdWPWjr%o=n*xy=UARiyAofX
z!4$C|=Go$`x=)DLV5k^8xPF9KB(ZSe>2c*zA__Cl6O~5EO6{$2;yu;6^_9!}@Pu5Q
zsCRNvoJB5PRPkciPsvi_<ZUUU)c&DFy_Yt=HvLx9P+wrWCjM3We71@2PmkoSDHeWV
zV#tsV-<_gt;bjwpdDAUdOvT>>s*mJ76QcP06Gobt5fe>&yHP7?Vu$I-xj+*WkIdK+
zafblaeQ18w!rp_byF)&RPX1-aEYoXe2i2UG`BaekEdMz3uAta(-jx!;r`baJtgIBa
zm@mtU2~yAS(Y6TFt{UG<yg93sb@9ttR`K44+oG98$j!XOmK}OWm-d8J&zj_LUorRC
z7PB+nOSXJAHa=NjtSE7oi#$f$gk0R<WIjD7)l}PwxisaQyz6tWF;nT+Ldxt`z9n~<
zDNz>WQ~o5+>^+b>gPHb!8IaLDD{lf@>aETzVkX;3xLm@W`9<uM_e%a!7Pd4-KAm9I
zZAw->=1jh9N+~<d_e^PI@A5f?i7}1#nrK-=#8Zc^TBCYOl833D%H(kVV&SxiFRGbR
zT_ql}c${+js%LVW_fnyix$I+^QYLyFPtF-y*_{z5&T6|kNSw5`o|(y3aofMdXgox)
z418~$5DWKsYki3JbNz$wL9rgaJ#vB0iJJ2KG0uB%J}Ax$Rc~XFD~R3BL#8ixJ#b7e
z{(+j_uf;1}eV{^Zw7(iI`ksAUx>=19Q*X3ymXxQHU8jwbZq_MBr$;4)>y)a~Qb{*H
z)%uFnsaDbjokqKKtCZHETd+>Wk`C(hv-~-4wC79OuG6<VrAgYNQ@2jhk~}({6eMm+
z{Dx|bdwPtblxClsz2W+=9!r_yDLU)B_f!8(+V2_PYe(e__21a9c^e&dVb8ME9c7L<
z#<+87C%cCyF0-%#@04ZxhO=hg_xqZdaq$lA;q-s7FnPt42EO89OH2z%qmZ8A%_7}q
zb@VsW&Z$U;@uLr0SQYPixP!gH_pi3Ndg6>VccG@4^xq1vBz_ov7x5GDCB)CcAJN?v
znC4{!_mc*SSZ#URF5)BLpA(OPzfD{|NZHR(gNyOyLzh8qf<s;e4*7maSBO`@=MrB8
zUq^feyodNY=`Jxq?sSJ7DR4BR!F=)%Ux2?%d@Gzj^quhQr2YZ;RpA5cFNQxlC<x3(
zTy(;niH^an{1+Zd{3m!3@u8z-bEcFIxITU)f<Fxe+CWM08seGoCgO$g;3S9EzW-w;
zd=K&R(c1V-xq}1?(cm`X_rjMDUk=|+{CDsJ#Git9yT&_|!3Re$CdKH_!{-xkhQCUD
zEBp)M+u)(8djEmv??o^RLI0%Qg|8#N5B@Ikc6cZ8Bk(?>yOhrmM5Gz-_!PW=_<8su
z;+NouiTCyQlWy$aBz{|qpFgIoCBY~yV9FE3qu}omPk?t3PlwxXF%Fyue^7d0{l#3I
z2%aMiX2TB=uYlh<!8pKt_!{E1@YX@Djej2k(?nxOE8scA*TCl!-w0n%yb1nK;xCTT
z?w={&k)Q<)#%35Nv<rTk_+EHyrm_AZ_-(|Gz#qzV85^8HV9ql7S$G`r3-ITOUxg>x
zjQ!kzxAc4e^B;DTA`YgE$~HC_4Yv~?2Y-=xGF-_q_LBjhM%-11U=ays!nYDHhZjyV
z4p0qmBEAG3l54DAr@Kp8M}l=|@HgU(@K1=p03SNpIKWmo%QyOVc$Vh<>#r!v`v_K&
z28ZCAh#!Vm<{1a*fbSrFrr!tmBgemt;M(9o_;q*=xifQw2*tZ{5Ajg=f&z!E5ICaY
zyGebka5294hLh(ARF)U1Xt0?ym;^sf2Dlae)f8ht74RWbjb05uT;v$E{$k+e2ny}S
z29LpA#GinFK>RuQylKXMUWfYvyY6x^syN<8U?$t;ZulJHt?&%uAHhqBAA{F&_PE96
zBI!A#PZ7Ta|1<GE_|s&o8yP9@g(-)KTj0U^4mGgm2?&zO)-?gXnRqUI8*w{4h3rr&
zyw~7j{0aocgSH|$_XY4$;`hNf5wC-LiLZr!M%*o3e&_y?1ka&?lk6<7!0#vi4!n-|
zUifk1N8nEiA6S1enG*;Ok_PADH^|oY1N>#;EK05)Q+&in!9N~wef)6<P7VaJ2PFkw
zOt!Ra_%p<d;2#o~|FD-6vh;6tvM7$qC~bVE3@5=NG^iwgKl~Nq_3%T)*TR)-hc;mU
z$CL0X7YR6mCgLx_pCtY!d^hpk@T<hz;1}V6=YJf*d9ufT4ZlJBBHT>&*ze)vi2LCy
zjqXxLSmdHGWsfmXBH(Srt?)C%Z-M_vyZ}Be*U`WF+IfcN;yZT@3Fe|fJ@G2|65_vs
zUm?B>zH+j0;78%z(gW)+=Cl#PcccM_=jItZ+5(?Nyam31_)d7;AP*7aD*F*U&a*uh
z*UN)qnVvv;j`$h)_rx#4Kh1Z@=7Hl!__xG^#9tNV3lOI7<O3@bieNn1;>W`CiI0a@
z61TzMB0d%Vp~1!Yw;?c*?+}&nXyS|EpAdflt`s@~s~|5{!y|}ql&<XvBxpi|^TfBn
zQ^}W_t?;SDcfwnW9C99k;{*6#g%7O1hz}!pj5O$g|AlxrJcIZp_)Oy0;X4OhA3t3D
zF<QP9g92@~W8ohSG|)U5o@sYz<^GRMcpdQq_zvPTVzlv@QbNA2m7+l!`2*Qq@L1wY
z;6=nAg4YmV4KJSOFy6s>1S^PlM=9dZk>U$;xUs%R)DKsNDAB(*`etwKGbh8m3tw71
ug70m)S^T$LSIfQ-b&9@HW^t<F+uoQke9<$yY~fvR<OluocRu#bl>Y-Fm@0t)

diff --git a/asm/uncommonlisp.o b/asm/uncommonlisp.o
index 7b0d39e9864efe1d5ce2896154aba671472d70b9..bf826ba481b99815f8654e83bc164734bda32241 100644
GIT binary patch
delta 7715
zcmZ|T4^&iD9tZGy$5CJf25^{RRA59zKm`fY%#tQkAB701$%w}B4=Njpe@JU}or6d=
zSt(x4Jz1i=9&69;NpX(-S#_1wBy7t-T2m{9vWCVjA&-Hw&E9+858k{V$2o_~eV_0B
z_ujnWzTxIcgZGqSd$J*UZ*}UK0hiJU@xD`gt7IVE#-0w%obv@GM41#z_{+38!w_(g
z9eD6u;6bJ_pjk!W!AJa{Ex14XKC~(Qk?hLu{^gb&_cf*RTBox0fmw?CC-2bT{Qg2;
zkWzn2%&EAqD(<s6?hfw~_GQ?8Vf}9T{Tzyfj9}LANwkK|3QwR*+1l{OX)UV@kEdf;
zOL+3Yrf$FAG2i!1+vnYEdsq^C&@^Gp?}ZgO3uooH>-i{(`<(av4l!U|q3?*|{xrw^
zgLgZhUvbyBO=Wvc1yioy_4|t)PTnam-;tl=KI?63_xrQmryNdaLB1o8x6E;W=53Z(
z$D8?fi)Qs+XFMUiS&=u7O^is4KFk|9oP~LgeD#bJ_mAFlY;{B~UC-(wk_}yVm@i@+
zJ<jZrie=3mv2>-fGrHWy%l_qqd`)e|Y-8l4%mgjEETd+}`~`)l+akI1OBT&9nFKzI
zW45@Q?Op6f<Oa){F26sIpPr!4{OUFIma~mfdGuL!J}QO&=;@03(U4irN8sZ=ZrVJ~
zDr--eHt$wzIi}4`YHfyTb5M*-b9u@vmQ3S5pWn|a;$qnOAwjIvGJ+Pc9hQucB+ha@
ztRgaoJ(3W{(gs^S!PanUywb*d)Y;4|J*B@VGbW7E6y~rUHg^61BZUo~XWS$Xu3A#q
zkl3&R7roQe%*?Kh9Kh-ZcNoWi-#cxxvEzF0K`a|PbfEEF70hhb(2K^C-$6Pp_K0~3
zKTzBs&2v8OJEOQSimUQD3yqs@eEnP5DvmuD_oCr;EBjyET*J5swkpQV%Ix9n`S>I{
zi`B&2hD>Y~BRrNET%@==)%*APVBdR1-uF!bt)p0wJ%%<hyWP%jPKQ0lklqt#g->ab
z?}M^+Lt=z?JUeb*L@#*ahfSxnA6u3%*7)RAxfZkMP(nAQliA-BM;W8OmS**IBu=Hq
zBUjWT_GHpT`n2bjq=%?+*k!dBzebPJ^Pb_!a}BhStxp}6QQ0}xRP~1VP`&yvFNw0%
zn5aw&GF81O4{{QNm8yn~8<efH6C;$Wrt;OEqp2U#$Sq&;WmcUk50m%$ZSPc%YxF?_
zO=L;wWv<7X#5tTU@_ntizbrgG3x@V4Gz;%9r%`9~n)*`rg+8s?`qF>;(rKUqv2qyy
zaNlNc^`)2l(z?F1gq4m>Ov>Vc_|SMaHi~tse|1DX+kH0Mf5yi@dxfWo=jhnNSVMF)
zi^~0mZe{JcR$Al<nRzmV9%c;%MYhy%aTT;zhdic)F^AJ?`v9duCef0TcD9PA$0M|U
zq80<GmF;(0>2mg=^CJC_RnN1!c7^F%9)gx{B0mY<iToV68Lg)od@=GC@TID|dS|}@
z!CKUz6WoowpFBlMUO;XJe+_vY_;sE0`Nu%;PhCLBL*UntKLNf{F06O`#0hRfz6^W;
z@^axW{+4Y+K^1gR&s>{eCwO7HW}>zqyhQ%ivP0mt$d7@Gn?$?*yk7$Z10%ITMC~GY
zKjhc%;lF_Aq4rcBQxdDWI)69>PiTQ$!4UBI$Wy=%ARiCD0{NrhHOO-#<@}UHN9oVF
z06Khvycm2T^3~vTkpBUEE%Hk6Q!W&|3_%m}ec-pmP95-i8+@200D1LY@Dk)l!9C!;
z@Bc9fyr@GRcr4$-17G#vPa*#ld>ir$;2-PVMXo^blRhA=;KBTfA@J1(J{)-m_;loV
z!OM^v<P~;N@)ZigWI)MuTi~?(Zz%Yy$nD^}kf(w-AkPH9DZKak^ZLUOWDV9&{5be}
z<m$~v$zPB!fcDMEmw_)CqKz--Ujf0^fIu{P4*Wdw4d8=@Y6FQ{6}SWWcJLD9d!pp|
zQ&NqB1JL0t^26W;`L#lu`~-Lk@^j!nBX0yB6&HB@`FNKgm=mWBE^4jdF61}B&GGv7
zzk-iO{u}sTd%S1<;6Y*lN;2&Ffg-^_Kt2?F$S{5T5#Tw<)4~6S-1PtirUd;!4)7Vs
zbHU4y7l6Nqycj%txPJUH)m@|p1?!>1&_sQQE#TXb?*u=Dd_VYA<cGj5BgFVU*PmC9
zK@c%gKk-N4laZeXuRwkYd>`@_@Wn|1<BR!y5Yz<*+;8_d8mOOH3_wXxviPmNBETK;
z%rv)wuR)%`ozG86DH>=rbf`xi#(|sALMMSAMD3@8|BS|e3fz|xc>Vc;mqCy^N?X0C
zm4V+Ht@ldsg=6$y4So>$8{pS_JxlHQ4g{_={XqW!{}pY!r@_sPF15OxXwPhh^daP5
zgU?6)J@`uGKZC!9yc2wn>e@YQkjtdxZPXzQ{4KQA#e+8^9|azbw=VEZo%8v#AULQC
z_;)Pu<H+;D??+qIeDFKSmx0elJJBlP;u(5A3N}E8eaN?f{|osJ@b8en1wH`nMDKv-
z@tsAx{(Ld-L+}FHa?XHnLf#1eE%H|I-N<i%U(j5g|1Jcf@%mf%ck*7Kq!w*m(cr%#
zw}W3no(|rI{6UMHpOV>V;;GPKFY-L_M&#<Jf|4Y={sfjo`xxZq;ENR$Y=qzl@|VDy
zk?#OEvAPngYdP8>)z1<oHOSQ`Xi9b?KMAANBmXyeKeRz!2EVJemlu<Wm--}5$!*l3
z9Xf=fjg!a+XiCh;L%>s!4+5{yIiEicf=_e-A<5uhAQ%7flmB`^J{f!f+JSSxXCR*|
zTzr^UpkNVns6_rO_*&%az$w~~Hi1_lSHG)Ja*KQK&LGZd4|Fh~4exF6DU6m{ZBL=}
z1f-=bqtxo!gwih{-HH4fcrEf9;J+Zh4Q@nF2SolYr=(SN?S2{vfgg3SfXAU-Istqf
z@-*;i$R~m?);XX5F$hlR0zzhjHzJ=0J}5=J2ij{n_(<ey!LK5B2^aU1DODRp)Lw-S
z!;$X+k3)|i2f)LT9|6xrehhpOckTM~i5npJ96iT0fuBL%0)7Cw5BwDJF7Vl!tMeP=
z{!7U-S|Be;1o&6T6Yt?^;5SkG2f*j(K0bszYLoL*@&*cWpu;8PbHUf32eF0VGtvLP
zo&leNd_DN$0u*e9;6>!>w|f38JXT(q-r{v=|0m>Kp2jkdDIu+RZPAkAr6nthi&m5s
z6+gdnH3^_aB`cPADqXE1p5^Z4K{SRnZnxT6<bTHqG4MGk{|OzSPS(k2wUu_T3|`)m
z<rub**C)twrYz^mvRIa-td6IDl=Ts;o!7_6@?lZhir~Z0Gs_84;jd>|{thcWCd+lK
zg4ZvzT3-HFmf@_CStBj*?ustrr<>)ocv})uvs^tPX`&CkpE-CrmF?$c4qL^nwz7M)
zUnknwTqy1Ki`5abMT}<K2JcSK>O<9#>|u1L)%ItU$}iQt#k(wnr$<pLpNn`}#}@MR
zW0dwh*EO?ho?by|&mR5*tK;cUDDC;Xb%(X@w7MwVAw6sExr4)y-{`NNj2ZcTaE^B5
zx1jw<<P)HMrs{0Vu1MR1sLdp3GmX{mvf5^#bTXt)*0Re=i#=Vttikk67P)r<y~eWl
yX7SR^%a>RKFFRRCO;&X0c(so*QT-jne=TAQYDR@TvQm{AR$ViJ-ee6mBmWN_<pXj6

delta 7682
zcmZ|U4^&iD9tZGyr$He3GlRe|iZCGm)D%QZQ`4p-M+Jq#6+}fmZf>q+{%O}*b0l$V
zLJPW@u3Ktu*|C!rPHWc5|BAVlOQ~6wAeu5rf7C27b!YE=?>o%QkJCGcH}`$M_s@HG
z?r=x+>@{54W2nh8y!&cxpMzbt_h-ygS$Fl3u6(JO7BO&QJ!i}@tS6I4bXBS$;9_Xt
z#lwLYX~uwR^8+t-$cxtNMsXqH3)_Hv*BQsMGwqJ*ArCoRKYCLC=k=C3TulyFeZK38
zXMt#m%#Dn>>h($}S29RsL=EHH#Ehs^{)AW_HJ0xc4N=K_xVRLR)wTJi*K42B*4Wx~
zQ`AIeh%wQF`#q_wq_pgzeAi*wi^KIFPyH3u;l8rA?GD#x`K}gEjU3kDI^0?;wnmrS
zfAxmfTW&9vjS7qGMft9JPy1!BcZ_SVy|lEX$X+OG=DUu1&S|($R%=_MsvY*&lNpoM
z$~{Ab!;}`cM^><xmKEBI^e1w-E_%Kem8S9hdC_3XGKAd_znKQ{Peiua5&z6@>ee00
z+T#{l<vC<wx3(`@7mAhUVb%fu=#&;6w@;Z`cA(WJn#~CY_M5n2UL60-b+5NjK8u>g
zqh5W&Jj=w&m_oi-G{*Gi*WF>=E*b_-iIeZkvi7mjRf!g@G%mWzsh9Gjt3K3A1<_SM
z>80^973uK<jqkL1y`s5atav;=htCqP#SaL-Q<8QkqQ;ycCZtAgx1@99#a3DIa;n9B
zZ$dQZLqwtVU1O-Hqp?vWcAv~^1@9jBlEotW^o+diq-UbMw1}F-E~26P6=U9oj@n&C
z@5Fd<qeoXG55^SZuJfohBk`p1=yx4WjACNX?XeF^aJUXlE}hnP(BV3%W~E8=NE&T?
z<6J<^B}pp`A?HLy@+3o|Nu*d}#S&YTcs4nM&k);^tp>+gQDloX?kM+c5Y5R2yjf)1
zY;wgF+7h@$N-wd(HX!Q3W^KA1)r-?io;>l1Z3aK<?w>N6^BD1$)Er|)6NYTaG`jbv
zwsT{_X(=`RY@#tO%$TAs)XbVPL)^Ee-_MQvzUdINn48g;KkEKx#&B-TIR#fU^-Jb(
z-ssNFnq=S~i0AvHSXbVoKA?_jW13@F=o5<_)%j^*j_Tqxll$8~A8_-wujE}W-@7nU
zTfV<~=D0WCvDv`KiGu98{Lf-nw#7N-xO$KftsA{J&t09VS7$PHrd!84^>wi`oeZRV
zwFmGV3^bkUI@9{jR4qhKTKdB>P#*-(8=q@$i}q_nmB+a1$9NC6$q!H20r%;gvYv)3
zv0~`>M(fOM^~C-o^mbL|Y>0cnggxQ>HF3G5oc9n#r50;dl)suP-O{c(+afAudX}Wo
z(W(w-TSc8r!_4Z+f7p<gissUj&bK1{i7LH<w3Yaq@DMUq9lV(MZulhPN8qz`cXo_^
z0>M+H!5R2$;+Nr0;y2)562IM~hT`m<AeZA?5qusLFqQ?c&^qk6Pj(la5g!E~PrL}e
zl=uwgPI*VIB$$T=gR=dDs?rkpWbM_Tt$=SLz81cf_-6P``Rbp4+24Bzu961(f5#i(
zcCx}6;Zelf;KTi{kKc}<z#nLj*G0SLY&G$2@N(kG@EYQM;ay_<v!+USnzivc`-lYh
zp}~X1C%_*dJ_$aH_;h$3@mcT#P7*wg;Jn-}1CJ_rOnjg+Rt=v_{3ZD7#Mi>VhIhRG
z>k&lB{WtJ<9X^`)TkxgC--Ulbd?&mq*qv+-g6qKntB1!X1l|r~|Ah}B{uO*W@h13Z
z#4l>@l)rAR!2|q)21|(Fg8!X(sP-0e_91Z-yqS1+cusdYZpZw~awdW~DhN1o;j4%b
zg&!h53O=z%Kqs;|4!$_Rwej^;&e`68Ks7Bz17l)vM>F8L#2<xECcX&%4Dres?fE%-
zp9Cw>;Ai6N;N7)<6ZmiHP52q&+u(^w{<^BP1O7l#;QY&A4}!-@gCp>e<lv5u!+R3{
z2ELB?d3dS~{rJZJ5y2K;fc!c<A_agKLpN36>>lC~@K=b(!C7i>Kh7isBS_E}KArfT
z@HdIy2Oruicz}F(4e=7)oh&jfxWP;`SW0{zd?WEC@CM>5;GyZk{jY`dOy$1$m&Hv8
zvbDh9=xz9X;yd8A#COAsGyHw1(#P=afv(0s<_kziXW;F`e}LzbC;JsXleiZ?H7odr
z!eh1P=WHiwV3vVeTrBWTr6j=DkosxxGh~2)@Natu4?GHfTi?L>mv!<He0E20gX!?0
z{et~5xRdx_;k$`1hnMvC^@I0+4FV6@b~nO9$TqqKK9+bLydUuo;RVDGI1yBk;8VDh
z_zCz5;!W_i#4o~MAiLj9U;l?l5T?xlXI;pyWrC*>PlT@_o(|tiygxic-?aRnzq=8%
z(cKK5M>ePN@B-qc@LJ+C;qD-p<IhEKA}C<&Dfl(w%i(si*{p)kCjJ_H0r73h)%XA7
zB-n!n&k;WYKS=y5_${(&wZJzKzXJD2_s_q)nOg`xB@H69Ma9`E;ud&bvhU-hzox=p
zB(8rdINR@cef+!8z+wyTC=VV^ya--QybS&?;(vr6B0e{M0+WaQO-HuNC()pkcon>c
zcn$nH@%bYb=T4GtL3)+=`|$6HAA+}#J@zR47V*>Y5Pgr;=Ttq|1q40F=6eY~pZE><
zN5n(4@8+D<6F0-p2Du!+2ZC!s0b{-4Bgkew2wqNnBzz(9vG7^Mi<PU-)D;qxqrrT#
zb<KgFC%y>&Gw~|;AhI>S2p=syXwzATU@B>_8NNW6=UA-ENxBQ^CSjjraehbAV@Q7?
zej0v^d|~jwFA@J49!>UbFFaj$|9a}GZ5EsjCJo}@#l%zK+lb!*-%orn+!*wQL5`n?
zAR#DV>>+pq@hNcDM|}+Z$82~k@kQ`!#4DAn_0&Rw7ttWIufKCuS_>aWd^3Ct`DXJD
z{8i$+;ZIBV&%YetV+8*o4Zei;Bi;lbMf?Z&zln2gzve8!_3^tRI6@l4!TSd-d&ZLC
z3yAlIZznzop5O7^OrO~iR&9LFvdEvq9B7b8yaYa+cm=$i_-uGyjy|C8yZ}DWM1n8f
zy&rc+yS>ilaL(L~uGyj1aQyAiARBY}^IeGE%NL@e)?#hd{&K*WFP)0?oT#m}@HXw7
zB=*U2mUg~ZJ3F-VAJo}8Rl65|54YncAJgi@i^`WQJV`tE*Up8aPRcaVEYEMNvvnF4
zu<ssrse(M*!YnMjUY#piuxM4Jej>DIVeBX3H@&JQW7miqQQu2E79J|>!eWlX0`iU0
zE*=rd)^wsKv~dW&%EAl9Jb9NTVt_19SH18*iHcPg>q5MjsxLL~A7N(yCTeB+EJ+U{
zeL?J#={k~rid6pHU8Y+}dK~F{B4xG3x|gKiB0VgMR$H9MNa|Y+r-=Jj`UT?OqqiT3
z=c-AU$93XYQJ?7xRkW-&TO+V&eKT_tb-D@j%NA=gNsV3fo->49rnw}IKsv%b?`2Dv
z{Qpna`oZ!I*tdQp-zoTpk=!Kg^4uUQH;jyHxJ&OU;copkRK83XCpPpA_srF0u?XKd
Lm@g9cjhX)ki0sVg

diff --git a/asm/uncommonlisp.s b/asm/uncommonlisp.s
index 8f372a6..c4c0a99 100644
--- a/asm/uncommonlisp.s
+++ b/asm/uncommonlisp.s
@@ -1626,7 +1626,9 @@ env_lookup_both:
     cmpq $TAG_PAIR, %rax
     je .ev_define_func
 
-    # Simple: (define var expr)
+    # Simple: (define var expr) — or (define var) with no expr → VAL_VOID
+    cmpq $VAL_NIL, %r12
+    je .ev_define_no_expr
     movq %r12, %rax
     andq $-8, %rax
     movq (%rax), %rdi          # expr
@@ -1634,6 +1636,10 @@ env_lookup_both:
     movq %rbp, %rsi
     call eval
     popq %rbx                  # var symbol
+    jmp .ev_define_bind
+.ev_define_no_expr:
+    movq $VAL_VOID, %rax
+.ev_define_bind:
     movq %rbx, %rdi
     movq %rax, %rsi
     movq %r14, %rdx
@@ -3927,13 +3933,15 @@ bi_portal_resume:
     js .pr_fail
     movq %rax, %rbx               # fd
 
-    # Read header
+    # Read header — must get full PORTAL_HDR_SIZE bytes
     subq $PORTAL_HDR_SIZE, %rsp
     movq $SYS_READ, %rax
     movq %rbx, %rdi
     movq %rsp, %rsi
     movq $PORTAL_HDR_SIZE, %rdx
     syscall
+    cmpq $PORTAL_HDR_SIZE, %rax
+    jne .pr_bad_magic             # short read → file is not a portal
 
     # Verify magic
     leaq portal_magic(%rip), %rdi
@@ -3941,9 +3949,15 @@ bi_portal_resume:
     cmpq (%rdi), %rax
     jne .pr_bad_magic
 
-    # Read heap size, base, r14, r15
+    # Sanity check header fields before committing
     movq 8(%rsp), %rcx            # heap_size
+    testq %rcx, %rcx
+    jle .pr_bad_magic             # zero or negative heap size → corrupt
     movq 16(%rsp), %rdx           # heap_base (must match our mmap)
+    testq %rdx, %rdx
+    jz .pr_bad_magic              # null heap base → corrupt
+
+    # Header looks valid — commit to r14/r15 restore
     movq 24(%rsp), %r14           # restore global env
     movq 32(%rsp), %r15           # restore bump pointer
 
diff --git a/tests/portal-benchmark.sh b/tests/portal-benchmark.sh
new file mode 100755
index 0000000..a7fa816
--- /dev/null
+++ b/tests/portal-benchmark.sh
@@ -0,0 +1,179 @@
+#!/bin/bash
+# portal-benchmark.sh — measure portal save/load across:
+#   1. Same-process save + load per impl + format
+#   2. Cross-process (proc A saves, proc B loads) same server, same binary
+#   3. Mismatch cases (wrong format, corrupt file, truncated input)
+#
+# Usage: bash tests/portal-benchmark.sh
+#
+# Output: one table. Times are wall time averaged over N iterations.
+
+set -u
+cd "$(dirname "$0")/.."
+
+PY="python3 uncommonlisp.py --fast"
+C="./c/uncommonlisp"
+ASM="./asm/uncommonlisp"
+N=50
+
+pad() { printf "  %-42s " "$1"; }
+
+time_n() {
+    local n=$1 cmd=$2 t0 t1
+    t0=$(date +%s.%N)
+    for _ in $(seq 1 "$n"); do eval "$cmd" >/dev/null 2>&1; done
+    t1=$(date +%s.%N)
+    python3 -c "print(f'{(float(\"$t1\")-float(\"$t0\"))*1000/$n:8.3f} ms/iter')"
+}
+
+PROLOGUE='(define my-int 42)
+(define my-list (list 1 2 3 4 5 6 7 8 9 10))
+(define my-str "hello world")
+(define (fib n) (let loop ((a 0) (b 1) (i 0)) (if (= i n) a (loop b (+ a b) (+ i 1)))))
+(define my-result (fib 30))'
+
+# Save programs that write the same state in sexp / binary / JSON
+cat > /tmp/pb-sexp-save.lsp <<EOF
+$PROLOGUE
+(define p (open-output-file "/tmp/pb-state.sexp"))
+(display "(define my-int " p) (write my-int p) (display ")\n" p)
+(display "(define my-list '" p) (write my-list p) (display ")\n" p)
+(display "(define my-str " p) (write my-str p) (display ")\n" p)
+(display "(define my-result " p) (write my-result p) (display ")\n" p)
+(close-port p)
+EOF
+cat > /tmp/pb-bin-save.lsp <<EOF
+$PROLOGUE
+(portal-save "/tmp/pb-state.binary")
+EOF
+cat > /tmp/pb-json-save.lsp <<EOF
+$PROLOGUE
+(portal-save "/tmp/pb-state.json")
+EOF
+cat > /tmp/pb-noop.lsp <<EOF
+$PROLOGUE
+EOF
+cat > /tmp/pb-sexp-load.lsp <<'EOF'
+(load "/tmp/pb-state.sexp")
+EOF
+cat > /tmp/pb-bin-load.lsp <<'EOF'
+(portal-resume "/tmp/pb-state.binary")
+EOF
+
+# Pre-materialize files so "load" cases have something to load.
+$PY /tmp/pb-sexp-save.lsp >/dev/null 2>&1
+$ASM < /tmp/pb-bin-save.lsp >/dev/null 2>&1
+$PY /tmp/pb-json-save.lsp >/dev/null 2>&1
+
+echo "═══════════════════════════════════════════════════════════════"
+echo "Portal benchmark — $N iterations per case"
+echo "   (each iter = one full process: startup + workload + task)"
+echo "═══════════════════════════════════════════════════════════════"
+echo
+
+echo "PART 1 — full lifetime: startup + build workload + SAVE"
+pad "baseline (workload only, no save)"           ; time_n $N "$PY /tmp/pb-noop.lsp"
+pad "Python  S-exp save (via ports)"              ; time_n $N "$PY /tmp/pb-sexp-save.lsp"
+pad "C       S-exp save (via ports)"              ; time_n $N "$C /tmp/pb-sexp-save.lsp"
+pad "Asm     S-exp save (via ports)"              ; time_n $N "$ASM < /tmp/pb-sexp-save.lsp"
+pad "Asm     binary portal-save (heap dump)"      ; time_n $N "$ASM < /tmp/pb-bin-save.lsp"
+pad "Python  JSON portal-save (graph-aware)"      ; time_n $N "$PY /tmp/pb-json-save.lsp"
+echo
+
+echo "PART 2 — full lifetime: startup + LOAD pre-written state"
+pad "Python  (load sexp)"                         ; time_n $N "$PY /tmp/pb-sexp-load.lsp"
+pad "C       (load sexp)"                         ; time_n $N "$C /tmp/pb-sexp-load.lsp"
+pad "Asm     (load sexp)"                         ; time_n $N "$ASM < /tmp/pb-sexp-load.lsp"
+pad "Asm     (portal-resume binary)"              ; time_n $N "$ASM < /tmp/pb-bin-load.lsp"
+echo
+
+echo "PART 3 — cross-process: proc A saves → proc B loads"
+echo "   (wall-time for both procs end-to-end; pipes via file)"
+pad "Python → Python  (sexp)"     ; time_n $N "$PY /tmp/pb-sexp-save.lsp && $PY /tmp/pb-sexp-load.lsp"
+pad "C      → C       (sexp)"     ; time_n $N "$C /tmp/pb-sexp-save.lsp && $C /tmp/pb-sexp-load.lsp"
+pad "Asm    → Asm     (sexp)"     ; time_n $N "$ASM < /tmp/pb-sexp-save.lsp && $ASM < /tmp/pb-sexp-load.lsp"
+pad "Asm    → Asm     (binary portal)" ; time_n $N "$ASM < /tmp/pb-bin-save.lsp && $ASM < /tmp/pb-bin-load.lsp"
+pad "Python → C       (sexp)"     ; time_n $N "$PY /tmp/pb-sexp-save.lsp && $C /tmp/pb-sexp-load.lsp"
+pad "Python → Asm     (sexp)"     ; time_n $N "$PY /tmp/pb-sexp-save.lsp && $ASM < /tmp/pb-sexp-load.lsp"
+pad "C      → Python  (sexp)"     ; time_n $N "$C /tmp/pb-sexp-save.lsp && $PY /tmp/pb-sexp-load.lsp"
+pad "C      → Asm     (sexp)"     ; time_n $N "$C /tmp/pb-sexp-save.lsp && $ASM < /tmp/pb-sexp-load.lsp"
+pad "Asm    → Python  (sexp)"     ; time_n $N "$ASM < /tmp/pb-sexp-save.lsp && $PY /tmp/pb-sexp-load.lsp"
+pad "Asm    → C       (sexp)"     ; time_n $N "$ASM < /tmp/pb-sexp-save.lsp && $C /tmp/pb-sexp-load.lsp"
+echo
+
+echo "PART 4 — mismatch cases (classify output, errors are expected)"
+
+# Helper: run, capture output, classify via keyword
+run_out() { eval "$1" 2>&1 | head -4 | tr '\n' ' ' | cut -c1-180; }
+
+probe() {
+    local label="$1" cmd="$2"
+    pad "$label"
+    local out
+    out=$(run_out "$cmd")
+    if [ -z "$out" ]; then
+        echo "(no output / silent)"
+    else
+        echo "$out"
+    fi
+}
+
+# Pre-materialize canonical files for the probes
+$ASM < /tmp/pb-bin-save.lsp >/dev/null 2>&1
+$PY /tmp/pb-sexp-save.lsp >/dev/null 2>&1
+
+# 4a. Load a binary portal as if it were sexp → reader errors
+cat > /tmp/pb-load-binary-as-sexp.lsp <<'EOF'
+(load "/tmp/pb-state.binary") (display "reached end") (newline)
+EOF
+probe "Python loads asm BINARY as sexp" "$PY /tmp/pb-load-binary-as-sexp.lsp"
+probe "C      loads asm BINARY as sexp" "$C /tmp/pb-load-binary-as-sexp.lsp"
+probe "Asm    loads asm BINARY as sexp" "$ASM < /tmp/pb-load-binary-as-sexp.lsp"
+
+# 4b. Portal-resume on a sexp file (wrong magic) → #f
+cat > /tmp/pb-resume-sexp.lsp <<'EOF'
+(display (portal-resume "/tmp/pb-state.sexp")) (newline)
+EOF
+probe "Asm portal-resume on SEXP file" "$ASM < /tmp/pb-resume-sexp.lsp"
+
+# 4c. Load an empty file
+: > /tmp/pb-empty.lsp
+cat > /tmp/pb-empty-test.lsp <<'EOF'
+(load "/tmp/pb-empty.lsp") (display "continued") (newline)
+EOF
+probe "Python load EMPTY file"  "$PY /tmp/pb-empty-test.lsp"
+probe "C      load EMPTY file"  "$C /tmp/pb-empty-test.lsp"
+probe "Asm    load EMPTY file"  "$ASM < /tmp/pb-empty-test.lsp"
+
+# 4d. Load a truncated sexp (unclosed paren, no value)
+echo -n "(define truncated" > /tmp/pb-trunc.sexp
+cat > /tmp/pb-trunc-test.lsp <<'EOF'
+(load "/tmp/pb-trunc.sexp") (display "continued") (newline)
+EOF
+probe "Python load TRUNCATED sexp" "$PY /tmp/pb-trunc-test.lsp"
+probe "C      load TRUNCATED sexp" "$C /tmp/pb-trunc-test.lsp"
+probe "Asm    load TRUNCATED sexp" "$ASM < /tmp/pb-trunc-test.lsp"
+
+# 4e. Load a missing file
+rm -f /tmp/pb-nope.xyz
+cat > /tmp/pb-missing-test.lsp <<'EOF'
+(display (load "/tmp/pb-nope.xyz")) (newline)
+(display "continued") (newline)
+EOF
+probe "Python load MISSING file"  "$PY /tmp/pb-missing-test.lsp"
+probe "C      load MISSING file"  "$C /tmp/pb-missing-test.lsp"
+probe "Asm    load MISSING file"  "$ASM < /tmp/pb-missing-test.lsp"
+
+# 4f. Asm portal-resume on truncated binary (corrupted heap dump)
+head -c 40 /tmp/pb-state.binary > /tmp/pb-corrupt.binary
+cat > /tmp/pb-corrupt-test.lsp <<'EOF'
+(display (portal-resume "/tmp/pb-corrupt.binary")) (newline)
+EOF
+probe "Asm portal-resume on CORRUPT binary" "$ASM < /tmp/pb-corrupt-test.lsp"
+
+echo
+echo "═══════════════════════════════════════════════════════════════"
+echo "Done."
+
+rm -f /tmp/pb-*.lsp /tmp/pb-*.sexp /tmp/pb-*.binary /tmp/pb-*.json \
+      /tmp/pb-state.* /tmp/pb-corrupt.binary /tmp/pb-nope.xyz 2>/dev/null
diff --git a/uncommonlisp.py b/uncommonlisp.py
index 508e8cf..b001f55 100644
--- a/uncommonlisp.py
+++ b/uncommonlisp.py
@@ -1084,8 +1084,11 @@ def _call(proc, args, env):
 
 
 def _load(path, env):
-    with open(path) as f:
-        src = f.read()
+    try:
+        with open(path) as f:
+            src = f.read()
+    except UnicodeDecodeError:
+        raise LispErr(f'{path}: not a text file (binary data encountered)')
     for expr in read_all(src, track_lines=True): leval(expr, env)
 
 ###############################################################################
@@ -3663,8 +3666,9 @@ Features: R7RS core, bytecode compiler, full continuations, macros,
             _load(path, g)
         except LispErr as e:
             print(f'error: {e}', file=sys.stderr); sys.exit(1)
-        except FileNotFoundError:
-            print(f'file not found: {path}', file=sys.stderr); sys.exit(1)
+        except FileNotFoundError as e:
+            missing = e.filename if e.filename else path
+            print(f'file not found: {missing}', file=sys.stderr); sys.exit(1)
         return
 
     # REPL mode