// Alice’s private key, a:
aprikey = 77076d0a7318a57d3c16c17251b26645df4c2f87ebc0992ab177fba51db92c2a
// Alice’s public key, X25519(a, 9):
apubkey = 8520f0098930a754748b7ddcb43ef75a0dbf3a0d26381af4eba4a98eaa9b4e6a
tmp     = x25519_get_pubkey( $aprikey )
if $tmp != $apubkey
    ?
    pause
endif

// Bob’s private key, b:
bprikey = 5dab087e624a8a4b79e17f8b83800ee66f3bb1292618b6fd1c2f8b27ff88e0eb
// Bob’s public key, X25519(b, 9):
bpubkey = de9edb7d7b7dc1b4d35b61c2ece435373f8343c85b78674dadfc7e146f882b4f
tmp     = x25519_get_pubkey( $bprikey )
if $tmp != $bpubkey
    ?
    pause
endif

// Their shared secret, K:
share   = 4a5d9d5ba4ce2de1728e3bf480350f25e07e21c947d19e3376f09b3c1e161742
tmp     = x25519( $aprikey, $bpubkey )
if $tmp != $share
    ?
    pause
endif

tmp     = x25519( $bprikey, $apubkey )
if $tmp != $share
    ?
    pause
endif

x       = x25519_generate_keypair()
pri1    = mid( $x, 0, 32 )
pub1    = mid( $x, 32 )

x       = x25519_generate_keypair()
pri2    = mid( $x, 0, 32 )
pub2    = mid( $x, 32 )

tmp1    = x25519( $pri1, $pub2 )
tmp2    = x25519( $pri2, $pub1 )
if $tmp1 != $tmp2
    ?
    pause
endif