WIP: start porting to ARM64