Adding const attribute to ABI output