Some interesting software bugs