extern const struct type type_standard__Int;
extern const char FILE_standard__kernel[];
#define COLOR_standard__list__ListNode___next 1
val* standard___standard__List___search_node_after(val* self, val* p0, val* p1);
val* NEW_standard__list__ListNode(const struct type* type);
extern const struct type type_standard__Int;
extern const char FILE_standard__kernel[];
#define COLOR_standard__list__ListNode___next 1
val* standard___standard__List___search_node_after(val* self, val* p0, val* p1);
val* NEW_standard__list__ListNode(const struct type* type);