casm.a -> libcasm.a