karabiner-f16-lock-screen.json

{
    "description": "F16 to Lock Screen",
    "manipulators": [
        {
            "from": {
                "key_code": "f16"
            },
            "to": [
                {
                    "key_code": "q",
                    "modifiers": [
                        "left_control",
                        "left_command"
                    ]
                }
            ],
            "type": "basic"
        }
    ]
}