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