Random Go programs