we can't use HEAP directly. Use makeGetValue