# .args. -main:B class A def main assert false class B def main assert true