ARM64: these work too