.global ext1
ext1 IS $252