Examples demonstrating bugs in GF.