Symbol: lower32