(module Word_size)