[seL4] curious design pattern