main(input_public_key: bytearray) {
    let public_key: bytearray;

    public_key = get_txn_public_key();
    assert(move(public_key) == move(input_public_key), 42);

    return;
}

// we do not support transaction arguments yet
// TODO: fix the test once support is added

// check: Verification([Script(TypeMismatch("Actual Type Mismatch"))])