patmos: stack pointer register