let
default _v _a _b : t = inject_singleton
StmtDefault
.default