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