annotated rafter under erlang