tested on PowerPC, using SBCL and CCL