Ping server
include order
include ping_file
include ping_shim
include ping_endpoint
parameter server_addr : ip.addr = 0x0a000001 # 0x7f000001 #
parameter server_port : ip.port = 4443
instance server : ping_endpoint.server_ep(server_addr,server_port)