get_player_name().and_then(function (name) { print(name); });