chai5 stdlib fix