sample code for testing display view of Alloy