card: use vectors with get_xxxs() methods