<?php
	// Reduced with command line 'test/framework/reduce -v test/subjects/bugs/bug0001.php'
	$a = $TLE12 . $TLE13;
	$a = $TLE15 . $TLE16;
?>