/* stub libc-start.c */