[seL4] Question about wrapper files