script {
/// This script does also abort, similar as script `some` and `other`.
fun yet_another<T>(_account: signer) {
    abort 3
}
spec yet_another {
    aborts_if true with 3;
}
}