auto-lets and a copy-sign bug