-record(thread, { framestate :: gwr@execution@stack:frame_state(), instructions :: list(gwr@syntax@instruction:instruction()) }).