>>>> /home/philips/projects/crfs/lk/super.c:113: warning: cast to pointer from integer of different size OK, I think I committed the fix to this. - z