Almost-working defbitfield