Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities