pub unsafe fn tlist_same_exprs(
    arg_tlist1: *mut List,
    arg_tlist2: *mut List
) -> bool