as they're apparently lost upon gaining an experience level, and healing is no longer always full, but randomly between 1/4 of full HP and full HP.
git-svn-id: https://crawl-ref.svn.sourceforge.net/svnroot/crawl-ref/trunk@6803 c06c8d41-db1a-0410-9941-cceddc491573
4J725ZVZ3YVWW4FP2VO5B4KHW6OUKBTIOOPJGMG7CUFFZ3GSSAFAC L2XUZE6VFOETQR7QRPPRUCS4WSI2MIKW3QS5WNEY2SEZU2TRMOZAC AZ2RCXNVULJUSCBDBK3VARTUCTPEJXHTA7ALP73S4EXLJB6YYB5QC K2CS6TCX2NDVL2ASEHGP4J4K4IJ6FP3ANNKTSIWVG43HPYSBX6ZQC AH4AIZKRTU6LNLBY2DKE5FHCN5I6LJT64CWZMVDQ2ZT6O4DFOYZQC PMCHUVWMCDXOWGXB4SWMBXFGHJYZG7KZ34SE33HFUGHPQYP3LYEAC K27R6ZMYMKVNXIV7K3QU2NXRVOGQRLMR6TI6ZQQSVKXVKS76NLSQC WQLOHSNCA3VOMDJF6IINJYKSYVYZEBPJJWBB33QSNE4RP5HEXPMAC T7WNH6S3VICGMHV7MJ6RHR2YKH75TLMZBOF7SDSE6TOHTIJNT63QC P2OYYNPHIBGOLT4CRLNTTIXDN34EU2QCMFQJNLAMUAHQXZTEDPXQC XAKHV2E3U5KQ5LV77HI7XFKNCKGYXT2LPBOHZP2VOH4Y67QBH4SQC 6TEISZD7HYSSL24EOKIBNURU66KGSQX7B7SNAHBP4DQSAOTGH2MQC ZJXN47ARPBCZQBWEMEMQ5Q4IY2M233RPLKXWCP7EZQ53FWYWS5LAC RJMIPI5VFQSH4UBGVP4KQ6PAUYAJMVUBWJVFVADDUQA2BIFBOJAQC 47NSOFQMBZCDIBHEAZSENFUGDSQCX3GJHFBUZ65ARDKCYIZ435LAC // Heal a monster, giving them an extra hit point if extra is true.if (heal_monster(mon, mon->max_hit_points, extra))
// Heal a monster somewhere between 1/4 and 1/2 of its maximum hit// points.if (heal_monster(mon, mon->max_hit_points / 4+ random2(mon->max_hit_points / 4 + 1), false))