ccl32 and alisp fixes