Thai DP (double penetration) compilation

Thai DP (double penetration) compilation