- var_dump: documentation ( source)
<?php
var_dump(0x00/ 0x00);