WLS: working on description of the void type