These look like ARM flags?