Amid U.S. TikTok bans, a few balk at writing its name in law