use GringoHClasp