Test code for rdar://15925197