也算正常吧。也许他们原本可以选pension，没有选。选的是可以自主选投资的类似401K，政府这种match很高的。