Use L4_Word_t (unsigned long)