| 27 | }; |
| 28 | |
| 29 | void printf(const char *fmt, ...) |
| 30 | { |
| 31 | char buf[BUFSIZ] = {'\0'}; |
| 32 | va_list ap; |
| 33 | va_start(ap, fmt); |
| 34 | vsnprintf(buf, BUFSIZ, fmt, ap); |
| 35 | va_end(ap); |
| 36 | ocall_print_string(buf); |
| 37 | } |
| 38 | |
| 39 | float gaussrand_NORMAL() { |
| 40 | float V1, V2, S; |
no test coverage detected