He also co-wrote the pilot for Happy Days...