generated at
hisayuki-public-output