sequential actor peak pseudo code