initial POPL26 submission