// TODO: Type up instructions