Lines Matching refs:default
19 * To use write/prints/... the default-output port has to be set first.
2091 // default tail-call depth.
2259 default:
2266 default:
2325 default:
2345 default:
2361 default:
2410 default:
2458 default:
2476 default:
2528 default:
2799 default:
3092 default:
3497 default:
