-module(lib1).

-export([f/0]).

f() ->
    true.