How to use ATS2-Postiats-contrib