chiark / gitweb /
Added ALLOCATE-FOREIGN method