static void linuxOnly() {
  if (!isLinux()) fail("Linux only");
}