define instructions under Trema module