//%set debug_print_ccode = true
Main Module IMPBUG2

	use TEXTIO
	Use IMPBUG
	Declare
		C_dyn		: B_type	// this one works
		C_static	: static B_Type	// this one doesnt
	EndDeclare

    procedure T ( A : in ref B_type)
	out_string (TTY, " . B_2 . A_1 = ")
	out_integer (TTY, A . B_2 . A_1)
	out_string (TTY, " . B_2 . A_2 = ")
	out_integer (TTY, A . B_2 . A_2)
	out_record (TTY) 
    endprocedure

    T (C_static)
    T (C_dyn)
EndModule