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