int __get_sp(void);