["\"global\"", "\"integer_multiplication\"", "\"deref\"", "\"primitives/integer_multiplication\"", "true", "\"global\"", "\"integer_lte\"", "\"deref\"", "\"primitives/integer_lte\"", "true", "\"global\"", "\"integer_subtraction\"", "\"deref\"", "\"primitives/integer_subtraction\"", "true", "\"funcdef\"", "\"factorial\"", "1", "\"0\"", "\"if\"", "\"call\"", "\"access\"", "\"resolve\"", "\"integer_lte\"", "2", "\"access\"", "\"resolve\"", "\"0\"", "\"const\"", "1", "false", "\"return\"", "true", "\"const\"", "1", "true", "\"return\"", "true", "\"call\"", "\"access\"", "\"resolve\"", "\"integer_multiplication\"", "2", "\"access\"", "\"resolve\"", "\"0\"", "\"call\"", "\"access\"", "\"resolve\"", "\"factorial\"", "1", "\"call\"", "\"access\"", "\"resolve\"", "\"integer_subtraction\"", "2", "\"access\"", "\"resolve\"", "\"0\"", "\"const\"", "1", "false", "false", "false", "false", "true", "\"funcdef\"", "\"main\"", "0", "\"while\"", "\"const\"", "true", "\"output\"", "\"call\"", "\"access\"", "\"resolve\"", "\"factorial\"", "1", "\"input\"", "false", "false", "false", "false"]