as_efxx | See notes and comments by as