str2octs.patch
