from awlsim.common.cython_support cimport *
from awlsim.core.instructions.main cimport *

cdef class AwlInsn_ASSERT_LE(AwlInsn):
	pass