Lines Matching refs:default
13 * To use write/prints/... the default-output port has to be set first.
2085 // default tail-call depth.
2253 default:
2260 default:
2319 default:
2339 default:
2355 default:
2404 default:
2452 default:
2470 default:
2522 default:
2793 default:
3086 default:
3491 default:
