module Issue936 where -- The highlighting generated for this file should not contain -- any references to Agda.Primitive.