Erlang 使用二进制文件匹配N个数字

我有一个来自套接字的数据包，它由两个子部分组成，第一个子部分由4个数字组成，第二个子部分由16个字母数字组成

如何使用二进制文件和模式匹配绑定来自套接字的数据包

例如，如果我收到：

1234th58i4kr04o3

我想获得：

Packet1 = 1234
Packet2 = "th58i4kr04o3"

---

您可以通过使用Erlang和二进制模式匹配来实现这一点：

<<A:4/binary, Rest/binary>> = <<"1234th58i4kr04o3">>, 
Packet1 = binary_to_integer(A), 
Packet2 = binary_to_list(Rest).

---

真的做到了吗？