replaced From_Handle with From_Non_Null_Handle where appropriate