Here's the problem i found, is it a bug? Place (cffi:defctype Time :unsigned-long) in any asdf file youre loading. It will produce an error on loading after requiring once and then it will load successfully after second require.