Could one eventually build a TCP in Ballerina where the animated diagram is the program?
Making that perform at the same level as a TCP driver written in C could be a bit challenging .. but not impossible.
In fact, expressing network interaction protocols is one motivation for the sequence diagram approach, but the expectation was higher level stuff like OpenID or SAML type interactions.