/*
 * This file is empty because the synchronizer primitives are
 * entirely implemented in classes in bs_prim_mod_synchronizers.h
 */