Rewrite pos_is_ok()