Qmos on Holliday · LOCKSTAT