[TUHS] 32I: spl*() and paging up