A Core bsed on Program-O