Symbol: mask32lo