(load "load1.scm")

(s1 (list 'p 'q a1))

(load "load2.scm")

(s1 (list 'p 'q a1))

(s1 (list 'p 'q a2))