modified:   type_hinting.php