ref: f6da1ab12d14fe4db7a76f390d6dfc85de660f1c dir: /include/proc.h/
extern void step(void); int loadtext(char *, int, char **); void resetvfp(void);