Socket binding to the Centaur ACL2 Bridge