Compilation with Asian beaver, hairy and shaved_#{2}