Hot: synthetic-coveredcall