printf ' :linkage-table :raw-instance-init-vops :memory-barrier-vops' >> $ltf
printf ' :compare-and-swap-vops :multiply-high-vops' >> $ltf
if [ "$sbcl_os" = "linux" ]; then
printf ' :linkage-table :raw-instance-init-vops :memory-barrier-vops' >> $ltf
printf ' :compare-and-swap-vops :multiply-high-vops' >> $ltf
if [ "$sbcl_os" = "linux" ]; then