die "bad type: $type"