get_lock_file
path = get_lock_file(gamenum);
(void)get_lock_file(game);
sync_lock = get_lock_file(game);