replace print_proto_type function with jios_write