sae, clarification needed, please

[Bengt Kleberg]

Greetings,

Erlang R7B-3
sae-2.0

What modules are callable from my erlang program, without having to
include them when doing the linking (elink)?

In the example below I clearly have access to something called
erlang:display/1 and erlang:stop/0. Where do they come from?

; cat > echo.erl
-module( echo ).

-export([main/1]).

main(Args) ->
	echo( tl( Args ) ),
	erlang:stop().

echo( [] ) ->
	ok;
echo( [H|T] ) ->
	erlang:display( H ),
	echo( T ).
^D
; ecc echo.erl
"echo.erl" {ok,echo}
; elink -o echo -m echo -s ecat main
; ./echo 1 2 3
1 2 3
;