Question about the doc of L4Re