add some explicit ? types to complicated functions to pass type checking
test.al repro for compiling the compiler error
debugging