new file:   type_hinting.php