module public_lib [system] {}