Convert #143438 to RAL