boxes.mp /size: 82 b    last modification: 2021-10-28 13:50
1
scantokens
(
"
input mp-xbox.mp
"
&
(
if
metapostversion
>
2
:
"
xl
"
else
:
"
iv
"
fi
)
)
;
2