chiark / gitweb /
Added generic function ALLOCATE-FOREIGN