sim: Use the Guest ABI mechanism in writeFunc.