user_runtime.h revision 33f7f287
1