[…] ARM: Worker from the Philippines dead […]