Do not mark mutable parameters as STCin for internal library calls