postpc ex1 repo