[TYPECHECK]
generated-members=sh
