fun concat_rev (l1,l2) =
    if null(l2) then
        []
    else if null(l1) then
        concat_rev(l1,tl l2) :: hd l2
    else
        concat_rev(tl l1, l2) :: hd l1;

concat_rev([1,2],[4,5]);