test programs for simple static marking