Code to demonstrate a possible UIKit auto-resizing bug