HOL

排偡 works (1)