script {
/// This script does also abort.
fun other<T>(_account: signer) {
    abort 2
}
spec other {
    aborts_if true with 2;
}
}