source code of trigger-0.6.0