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