A small IR for kernel entrypoints w/ explicit effects - View it on GitHub