Convert #DEBDDE to RAL