CAST

PHP code


<?php
/*
 * casts value1 as type value2 (?? Not certain about arguments ??)
 * opcode number: 21
 */
echo (int)1;
?>

Function name: (null)

Compiled variables: none

line	#	op	return	operands
6	0	CAST	~0	1
	1	ECHO		~0
7	2	RETURN		1