Consistently use braces
Make laco_destroyLacoState's return type void