Question: is it a good practice to use mysql_free_result($result)?