Sorry, I don't even know if there IS one for MySQL, though I suspect there is.
You might wanna google search whatever mailing lists mysql has to see if this subject has come up there, as it's a pretty common question on the pgsql mailing lists, and there IS a backdoor for that database to change varchar() length.