[yyding]

Hi, do you mind submitting an issue to the hidet github repo so we can have a look? Thank you!