;;; -*- lexical-binding: t -*-

(let ((load-path '(".")))
  (require 'a))

(defun b-foo ()
  (a-foo #'b-bar))

(defun b-bar ()
  (declare (special a-a))
  (cl-assert (= a-a 4))
  (let ((a-a 5))
    (a-bar)))

(provide 'b)