Trying PHP bug #54275 under different PHP versions.