<?php

header("Content-Type: text/plain");

$real_result=serialize("a string");
echo "$real_result\n";

$wrong_result='s:20:"a string";';
echo "$wrong_result\n";

$unserialized_wrong_result=unserialize($wrong_result);		// this line crashes Quercus
var_dump($unserialized_wrong_result);						// this line is unreachable in Quercus

?>