:- module sema_hlc. :- interface. :- implementation. :- import_module thread, thread.semaphore. :- mutable(foo, semaphore, init(0), ground, [constant]).