^{* 9} Bogdan’s Erlang Abstract Machine の略。