Add await1 and halt to Gen[Process1[A,A]]