sig val array : Cil_types.kernel_function Server.States.array end